| /seL4-l4v-10.1.1/HOL4/tools/mlyacc/mlyacclib/ |
| H A D | MLY_stream.sml | 34 fun get s = (case !s of function
|
| H A D | MLY_base-sig.sml | 37 val get : '_a stream -> '_a * '_a stream value
|
| /seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/ |
| H A D | stream.sml | 12 fun get(ref(EVAL t)) = t function
|
| H A D | base.sig | 13 val get : '_a stream -> '_a * '_a stream value
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/ |
| H A D | stream.sml | 12 fun get(ref(EVAL t)) = t function
|
| H A D | base.sig | 13 val get : '_a stream -> '_a * '_a stream value
|
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | jiraver443a.c | 23 static int *get(void) { function
|
| /seL4-l4v-10.1.1/l4v/misc/zsh/ |
| H A D | isabelle_session_names.py | 41 def get(dir): function
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
| H A D | Thread_Data.sml | 11 val get: 'a var -> 'a option value
25 fun get (Var tag) = function
|
| /seL4-l4v-10.1.1/HOL4/examples/elliptic/ |
| H A D | Map.sig | 31 val get : ('key,'a) map -> 'key -> 'a (* raises Error *) value
|
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | GetOpt.sml | 177 fun get ([], opts, nonOpts) = (List.rev opts, List.rev nonOpts) function
|
| /seL4-l4v-10.1.1/l4v/tools/c-parser/standalone-parser/ |
| H A D | GetOpt.sml | 180 fun get ([], opts, nonOpts) = (List.rev opts, List.rev nonOpts) function
|
| /seL4-l4v-10.1.1/HOL4/src/0/ |
| H A D | Net.sml | 67 let fun get (LEAF _) = raise ERR "net_assoc" "LEAF: no children" function
244 let fun get (NODE edges) = function
|
| /seL4-l4v-10.1.1/HOL4/src/experimental-kernel/ |
| H A D | Net.sml | 64 let fun get (LEAF _) = raise ERR "net_assoc" "LEAF: no children" function
241 let fun get (NODE edges) = function
|
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibTermnet.sml | 183 and get (p :: pl, fl, sl, SINGLE (t,n)) l acc = value
|
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | FCNet.sml | 55 let fun get (LEAF _) = raise ERR "net_assoc" "LEAF: no children" function
232 let fun get (NODE edges) = function
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/ |
| H A D | Table.sml | 150 fun get Empty = NONE function
|
| H A D | Redblackset.sml | 171 fun get stack = getMin stack (fn x => fn stack => SOME(x,stack)) NONE function
[all...] |
| /seL4-l4v-10.1.1/HOL4/developers/ |
| H A D | comparelogs.sml | 124 fun get f thy = nzero (lookup final_map f thy) function
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | KeyMap.sig | 49 val get : 'a map -> key -> 'a (* raises Error *) value
|
| H A D | Map.sig | 39 val get : ('key,'a) map -> 'key -> 'a (* raises Error *) value
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | KeyMap.sig | 49 val get : 'a map -> key -> 'a (* raises Error *) value
|
| H A D | Map.sig | 39 val get : ('key,'a) map -> 'key -> 'a (* raises Error *) value
|
| /seL4-l4v-10.1.1/HOL4/src/1/ |
| H A D | TypeBasePure.sig | 102 val get : typeBase -> string -> tyinfo list value
|
| /seL4-l4v-10.1.1/HOL4/src/pattern_matches/ |
| H A D | parsePMATCH.sml | 287 val {get, arule : add_record -> 'a -> 'a, rmtmtok, value
|