Searched defs:assignment (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/HOL4/examples/muddy/
H A Dbdd.sig73 type assignment type
74 val assignment : (varnum * bool) list -> assignment value
[all...]
H A Dbdd.sml7 type assignment = bdd; type
183 val assignment = List.foldl assign TRUE value
/seL4-l4v-master/HOL4/examples/elliptic/c_output/
H A Dc_outputLib.sml370 val assignment = temp_var ^ " = "^fun_exp^";" value
/seL4-l4v-master/HOL4/examples/acl2/tests/inputs/
H A Dcircuits.lisp

Completed in 42 milliseconds