Searched defs:total (Results 1 - 25 of 29) sorted by last modified time

12

/seL4-l4v-master/HOL4/polyml/basis/
H A DFinalPolyML.sml2038 val total = List.foldl (fn ((c,_),s) => c+s) 0 profRes value
H A DVector.sml118 fun total [] i = i function
307 fun total [] i = i function
[all...]
H A DString.sml207 fun total n [] = n function
H A DBoolArray.sml286 fun total [] i = i function
/seL4-l4v-master/HOL4/src/probability/
H A DhurdUtils.sig19 val total : ('a -> 'b) -> 'a -> 'b option value
H A DhurdUtils.sml72 fun total f x = SOME (f x) handle HOL_ERR _ => NONE; function
/seL4-l4v-master/HOL4/src/prekernel/
H A DLib.sig160 val total : ('a -> 'b) -> 'a -> 'b option value
H A DCount.sml147 fun total () = axioms () + defns () + from_disk () + oracles () + prims () function
/seL4-l4v-master/HOL4/src/list/src/
H A Dselftest.sml25 fun total f x = Some (f x) handle Interrupt => raise Interrupt | e => Exn e function
/seL4-l4v-master/l4v/misc/autostop/
H A Dstop.c245 static void get_free_memory(unsigned long *total, unsigned long *free) argument
/seL4-l4v-master/HOL4/src/portableML/
H A DPortable.sig35 val total : ('a -> 'b) -> 'a -> 'b option value
H A DPortable.sml85 fun total f x = SOME (f x) handle Interrupt => raise Interrupt | _ => NONE function
/seL4-l4v-master/l4v/tools/c-parser/testfiles/
H A Dsimple_fn.c9 unsigned factor, total; local
H A Dsimple_annotated_fn.c9 unsigned int total, factor; local
H A Dparse_dowhile.c9 int total = 1; local
H A Dfncall.c16 int factor, total; local
/seL4-l4v-master/HOL4/examples/HolBdd/
H A DDerivedBddRules.sml89 val total = Real.fromInt(bdd.getVarnum()) value
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DUseful.sml45 fun total f x = SOME (f x) handle Error _ => NONE; function
H A DUseful.sig17 val total : ('a -> 'b) -> 'a -> 'b option value
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sml45 fun total f x = SOME (f x) handle Error _ => NONE; function
H A DUseful.sig17 val total : ('a -> 'b) -> 'a -> 'b option value
/seL4-l4v-master/HOL4/src/metis/
H A DmlibUseful.sml35 fun total f x = SOME (f x) handle Error _ => NONE; function
H A DmlibUseful.sig15 val total : ('a -> 'b) -> 'a -> 'b option value
/seL4-l4v-master/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dlisp_codegenScript.sml1599 val total = length code value
/seL4-l4v-master/HOL4/examples/elliptic/
H A DUseful.sml42 fun total f x = SOME (f x) handle Error _ => NONE; function

Completed in 188 milliseconds

12