| /seL4-l4v-master/HOL4/src/portableML/ |
| H A D | HOLsexp_parser.sig | 7 val scan : (char, 'a) StringCvt.reader -> (t, 'a) StringCvt.reader value
|
| H A D | HOLsexp_parser.sml | 40 fun scan creader cs = function
|
| H A D | HOLsexp.sig | 36 val scan : (char, 'a) StringCvt.reader -> (t, 'a) StringCvt.reader value
|
| H A D | HOLsexp.sml | 15 val scan = HOLsexp_parser.scan value
|
| /seL4-l4v-master/HOL4/examples/dev/sw/ |
| H A D | UList.sml | 22 fun scan (_,_,_,y,[]) = y function
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.1/ |
| H A D | UList.sml | 22 fun scan (_,_,_,y,[]) = y function
|
| /seL4-l4v-master/HOL4/examples/dev/sw/working/0.2/util/ |
| H A D | UList.sml | 22 fun scan (_,_,_,y,[]) = y function
|
| /seL4-l4v-master/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 | 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 | Word32InLargeWord64.sml | 88 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 | DATE.sig | 57 val scan : (char, 'a) StringCvt.reader value
|
| H A D | Time.sml | 47 val scan : (char, 'a) StringCvt.reader -> (time, 'a) StringCvt.reader value
107 fun scan getc src = function
|
| /seL4-l4v-master/HOL4/src/parse/ |
| H A D | MLstring.sml | [all...] |
| H A D | ParseDatatype.sml | 163 fun scan s qb = let function
[all...] |
| /seL4-l4v-master/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...] |
| /seL4-l4v-master/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
|