Searched defs:lb (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/marker/
H A DmarkerLib.sml276 fun lb s = mk_var(s, label_ty); function
/seL4-l4v-10.1.1/HOL4/Manual/Tools/
H A Dpolyscripter.sml40 val lb = LB {currentOpt = ref NONE, strm = strm, line = ref 0} value
448 val lb = mklbuf TextIO.stdIn value
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/
H A Dffi_darwin.c1130 ldbits lb; member in union:ldu

Completed in 79 milliseconds