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

/seL4-l4v-master/graph-refine/
H A Dlogic.py9 from syntax import true_term, false_term, mk_num namespace
H A Dsyntax.py1411 def mk_num (x, typ): function
/seL4-l4v-master/HOL4/examples/machine-code/decompiler/
H A DdecompilerLib.sml643 val mk_num = numSyntax.mk_numeral o Arbnum.fromInt value
1813 val mk_num = numSyntax.mk_numeral o Arbnum.fromInt value
/seL4-l4v-master/HOL4/src/1/
H A DPrim_rec.sml1651 fun mk_num numbits n = let function

Completed in 86 milliseconds