Searched defs:var_names (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/num/arith/src/
H A DSolve.sml59 then let val var_names = Lib.mk_set(map fst(flatten(map snd coeffsl))) value
/seL4-l4v-10.1.1/HOL4/src/unwind/
H A DunwindLib.sml959 (fn tm => let val var_names = map (#Name o dest_var) (fst(strip_exists tm)) value
/seL4-l4v-10.1.1/HOL4/src/temporal/src/
H A DtemporalLib.sml272 fun var_names truesig = [] function
[all...]

Completed in 59 milliseconds