| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
| H A D | UList.sml | 22 fun scan (_,_,_,y,[]) = y function
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
| H A D | UList.sml | 22 fun scan (_,_,_,y,[]) = y function
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/util/ |
| H A D | UList.sml | 22 fun scan (_,_,_,y,[]) = y function
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | Int32.sml | 60 val scan = scan' value
|
| H A D | Bool.sml | 26 val scan : (char, 'a) StringCvt.reader -> (bool, 'a) StringCvt.reader value
38 fun scan (getc: (char, 'a) StringCvt.reader) (str: 'a) : (bool * 'a) option = function
|
| H A D | IEEE_REAL.sml | 43 val scan : (char, 'a) StringCvt.reader -> (decimal_approx, 'a) StringCvt.reader value
|
| H A D | DateSignature.sml | 57 val scan : (char, 'a) StringCvt.reader value
|
| H A D | INTEGER.sml | 54 val scan : StringCvt.radix -> (char, 'a) StringCvt.reader -> (int, 'a) StringCvt.reader value
|
| H A D | Word16.sml | 88 fun scan radix getc src = function
|
| H A D | Word32In64.sml | 91 fun scan radix getc src = function
|
| H A D | Word8.sml | 113 fun scan radix getc src = function
|
| H A D | WordSignature.sml | 60 val scan : StringCvt.radix -> (char, 'a) StringCvt.reader -> (word, 'a) StringCvt.reader value
|
| H A D | NetHostDB.sml | 34 val scan : (char, 'a) StringCvt.reader value
46 fun scan getc src = function
168 val scan = scan value
|
| H A D | Time.sml | 47 val scan : (char, 'a) StringCvt.reader -> (time, 'a) StringCvt.reader value
115 fun scan getc src = function
|
| H A D | Int.sml | 57 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 D | LargeWord.sml | 197 fun scan radix getc src = function
299 fun scan radix getc src = function
|
| H A D | RealSignature.sml | 78 val scan : (char, 'a) StringCvt.reader -> (real, 'a) StringCvt.reader value
|
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | MLstring.sml | [all...] |
| H A D | ParseDatatype.sml | 163 fun scan s qb = let function
[all...] |
| /seL4-l4v-10.1.1/HOL4/tools/mlyacc/src/ |
| H A D | absyn.sml | 137 let fun scan nil = [rp] function
146 let fun scan nil = [[" in "],f body,[" end"],cr] function
166 let fun scan (h :: nil) = [f h] function
172 let fun scan nil = [rp] function
[all...] |
| H A D | shrink.sml | 85 fun scan (a :: b :: rest) = merge(a,b) :: scan rest function
|
| H A D | lalr.sml | 245 fun scan(state,nil,_) = function
[all...] |
| H A D | utils.sml | 283 let fun scan (EMPTY,value) = value function
289 let fun scan(EMPTY,value) = value function
295 let fun scan EMPTY = () function
502 let fun scan(EMPTY,value) = value function
[all...] |
| H A D | mklrtable.sml | 381 fun scan (i,r) = function
|
| /seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/ |
| H A D | RealStringCvt.sml | 34 val scan = fn getc => fn src => Option.map(fn (v, c) => (toNewDA v, c)) (scan getc src) value
|