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

/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A DpairSyntax.sml234 val (lv, body) = dest_pabs Rand value
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DAbsyn.sml81 val (lv, body) = dpa Rand value
/seL4-l4v-10.1.1/HOL4/src/postkernel/
H A DHolKernel.sml552 val (lv, rv) = dest_comb vtm value
713 val (lv, rv) = dest_comb vtm value
/seL4-l4v-10.1.1/HOL4/src/list/src/
H A DListConv1.sml492 val lv = Term.mk_var ("l", Term.type_of l) value

Completed in 94 milliseconds