Searched defs:scan (Results 26 - 37 of 37) sorted by relevance

12

/seL4-l4v-master/HOL4/polyml/basis/
H A DInt.sml57 val scan : StringCvt.radix -> (char, 'a) StringCvt.reader -> (int, 'a) StringCvt.reader value
208 fun scan radix getc src = function
368 fun scan radix rdr src = function
H A DRealSignature.sml78 val scan : (char, 'a) StringCvt.reader -> (real, 'a) StringCvt.reader value
H A DLargeWord.sml197 fun scan radix getc src = function
292 fun scan radix getc src = function
H A DINet6Sock.sml30 val scan : (char, 'a) StringCvt.reader value
62 fun scan getc src = function
H A DINetSock.sml34 val scan : (char, 'a) StringCvt.reader value
46 fun scan getc src = function
136 val scan : (char, 'a) StringCvt.reader value
158 val scan = scan value
H A DStringSignatures.sml60 val scan : (Char.char, 'a) StringCvt.reader -> (char, 'a) StringCvt.reader value
101 val scan: (Char.char, 'a) StringCvt.reader -> (string, 'a) StringCvt.reader value
H A DDate.sml298 fun scan getc str = function
H A DReal.sml417 fun scan getc src = function
H A DReal32.sml213 fun scan getc src = function
H A DString.sml865 fun scan (getc: (char, 'a) StringCvt.reader) (str :'a) : (char * 'a) option = function
1025 fun scan (getc: (char, 'a) StringCvt.reader) (str :'a) : (string * 'a) option = function
[all...]
/seL4-l4v-master/HOL4/tools/mlyacc/src/
H A Dmklrtable.sml381 fun scan (i,r) = function
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dsharedata.cpp563 void DepthVector::FixLengthAndAddresses(ScanAddress *scan) argument

Completed in 177 milliseconds

12