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

/seL4-l4v-master/HOL4/Manual/Tools/
H A Dpolyscripter.sml41 val lb = LB {currentOpt = ref NONE, strm = strm, line = ref 0} value
540 val lb = mklbuf TextIO.stdIn value
[all...]
/seL4-l4v-master/HOL4/src/real/
H A DrealSimps.sml698 val (lb,_) = dest_pow l value

Completed in 47 milliseconds