Searched defs:vname (Results 1 - 10 of 10) sorted by path

/seL4-l4v-10.1.1/HOL4/Manual/Tools/
H A Dpolyscripter.sml311 val vname = String.extract(Substring.string p, 1, NONE) value
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A Darm_parserLib.sml4407 val vname = fst o dest_var value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/
H A Dsexp.sml1834 val (vname,vty) = dest_var v value
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/
H A Dsexp.sml1760 val (vname,vty) = dest_var v value
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/
H A Dsexp.sml1760 val (vname,vty) = dest_var v value
/seL4-l4v-10.1.1/HOL4/src/1/
H A DPrim_rec.sml430 val vname = if (length args = 0) then "v" else "f" value
/seL4-l4v-10.1.1/HOL4/src/datatype/
H A Dind_types.sml1310 val vname = new_name ctxt (type_of Bvar) value
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/
H A DTerm.sml599 val (vname, vty) = dest_var v value
/seL4-l4v-10.1.1/HOL4/src/integer/
H A DOmegaSimple.sml42 val vname = #1 o dest_var o #2 o dest_mult value
/seL4-l4v-10.1.1/HOL4/src/marker/
H A DmarkerSyntax.sml58 val vname = dest_vartype ty value

Completed in 142 milliseconds