Searched defs:total (Results 1 - 25 of 36) sorted by relevance

12

/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dparse_dowhile.c13 int total = 1; local
H A Dsimple_annotated_fn.c13 unsigned int total, factor; local
H A Dsimple_fn.c13 unsigned factor, total; local
H A Dfncall.c20 int factor, total; local
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A Dapply-total-order.ml
/seL4-l4v-10.1.1/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-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dfloat_va.c21 double total=0.0; local
[all...]
/seL4-l4v-10.1.1/HOL4/src/prekernel/
H A DCount.sml147 fun total () = axioms () + defns () + from_disk () + oracles () + prims () function
H A DLib.sig150 val total : ('a -> 'b) -> 'a -> 'b option value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dheapsizing.cpp447 TIMEDATA gc, total; local
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DBoolArray.sml286 fun total [] i = i function
H A DVector.sml118 fun total [] i = i function
307 fun total [] i = i function
[all...]
/seL4-l4v-10.1.1/l4v/misc/autostop/
H A Dstop.c237 get_free_memory(unsigned long *total, unsigned long *free) argument
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DUseful.sig23 val total : ('a -> 'b) -> 'a -> 'b option value
H A DUseful.sml42 fun total f x = SOME (f x) handle Error _ => NONE; function
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibUseful.sig15 val total : ('a -> 'b) -> 'a -> 'b option value
H A DmlibUseful.sml35 fun total f x = SOME (f x) handle Error _ => NONE; function
/seL4-l4v-10.1.1/HOL4/examples/HolBdd/
H A DDerivedBddRules.sml89 val total = Real.fromInt(bdd.getVarnum()) value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DUseful.sig17 val total : ('a -> 'b) -> 'a -> 'b option value
H A DUseful.sml45 fun total f x = SOME (f x) handle Error _ => NONE; function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sig17 val total : ('a -> 'b) -> 'a -> 'b option value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPortable.sig34 val total : ('a -> 'b) -> 'a -> 'b option value
H A DPortable.sml77 fun total f x = SOME (f x) handle Interrupt => raise Interrupt | _ => NONE function
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/
H A Dlisp_codegenScript.sml1598 val total = length code value
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A DpolytypicLib.sig36 val total : ('a -> 'b) -> 'a -> 'b option value

Completed in 311 milliseconds

12