Searched defs:v0 (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/mips/
H A Dffitarget.h125 #define v0 $2 macro
/seL4-l4v-10.1.1/HOL4/src/TeX/
H A DmungeTools.sml293 val (v0, _) = dest_abs t value
/seL4-l4v-10.1.1/HOL4/src/lite/
H A DliteLib.sml290 let val (v0,bod) = Term.dest_abs tm value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/cheri/step/
H A Dcheri_stepScript.sml428 val v0 = bitstringSyntax.padded_fixedwidth_of_num (Arbnum.fromInt 0, 5) value
/seL4-l4v-10.1.1/HOL4/src/datatype/record/
H A DRecordType.sml297 val v0 = mk_var(name, #1 (dom_rng (type_of tm))) value
472 val v0 = mk_var(nm, ty) value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DmechReasoning.sml154 val v0 = IRSyntax.read_exp s exp; value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DmechReasoning.sml198 let val v0 = IRSyntax.read_exp s exp; value

Completed in 165 milliseconds