Searched defs:mks (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/graph-refine/
H A Dsyntax.py1485 mks = (mk_var, mk_plus, mk_uminus, mk_minus, mk_times, mk_modulus, mk_bwand, variable
/seL4-l4v-10.1.1/HOL4/src/datatype/
H A Dind_types.sml597 val mks = map (fst o snd) consindex value

Completed in 83 milliseconds