Searched defs:pref (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/HOL4/tools/
H A Dconfigure.sml106 val (pref, suff) = Substring.position redex ssline value
/seL4-l4v-master/HOL4/help/src-sml/
H A DHtmlsigs.sml236 val pref = slice(susline, 0, SOME preflen) value
/seL4-l4v-master/HOL4/tools-poly/
H A Dconfigure.sml126 val (pref, suff) = Substring.position redex ssline value
492 val pref = fullPath [holdir, "tools", "vim"] value
[all...]
/seL4-l4v-master/HOL4/examples/machine-code/compiler/
H A Dreg_allocLib.sml334 fun pref (FUN_COND (_,t)) = pref t function
[all...]
/seL4-l4v-master/HOL4/src/parse/
H A Dterm_pp.sml40 val (pref, suff) = Substring.position s1 ss value

Completed in 195 milliseconds