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

/seL4-l4v-master/HOL4/src/parse/
H A DMLstring.sml6 val digits = String.substring(s,i,size) value
H A Dterm_tokens.sml149 fun digits locn b A cpts = function
/seL4-l4v-master/HOL4/src/portableML/
H A DRedblackset.sml179 let val digits value
212 let val digits = loop x y stack1 stack2 ZERO value
289 let val digits = loop x y stack1 stack2 ZERO value
315 let val digits = loop x y stack1 stack2 ZERO value
[all...]
/seL4-l4v-master/HOL4/src/portableML/poly/
H A DMD5.sml221 val digits = Word8Vector.foldr byte2hex [] v value
/seL4-l4v-master/HOL4/polyml/basis/
H A DReal.sml385 val digits = strToDigitList str value
[all...]

Completed in 101 milliseconds