Searched defs:collect (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dm1-story.lisp[all...]
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibClause.sml274 fun collect (n,l) = function
325 fun collect ((n,l),acc) = function
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/
H A Dreg_allocLib.sml315 fun collect (FUN_VAL tm) = [] function
/seL4-l4v-10.1.1/HOL4/src/integer/
H A DCooperCore.sml215 fun collect (DIVIDES(c, _), _) = SOME c function
/seL4-l4v-10.1.1/HOL4/src/real/
H A DRealArith.sml760 fun collect tm = function

Completed in 70 milliseconds