/seL4-l4v-master/HOL4/polyml/mlsource/MLCompiler/ |
H A D | SIGNATURES.sml | 625 fun get(name, dVal, (ts, ss)) = function
|
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | xwindows.cpp | 5430 GetFunc get; local [all...] |
/seL4-l4v-master/HOL4/src/postkernel/ |
H A D | Theory.sml | 385 let fun get [] A = NONE function 409 let fun get [] A = NONE function
|
/seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
H A D | jiraver443a.c | 19 static int *get(void) { function
|
/seL4-l4v-master/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-master/l4v/misc/zsh/ |
H A D | isabelle_session_names.py | 41 def get(dir): function
|
/seL4-l4v-master/graph-refine/graph-to-graph/ |
H A D | pydot.py | 660 def get(self, name): member in class:Common [all...] |
/seL4-l4v-master/HOL4/tools/ |
H A D | hol-input.el | |
/seL4-l4v-master/HOL4/src/metis/ |
H A D | normalForms.sml | 988 fun get vs tm = function
|
/seL4-l4v-master/HOL4/src/1/ |
H A D | TypeBasePure.sml | 652 fun get db s = let function
|
H A D | TypeBasePure.sig | 105 val get : typeBase -> string -> tyinfo list value
|
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/ |
H A D | utilsLib.sml | 446 fun get th = List.take (Drule.CONJUNCTS (Drule.SPEC_ALL th), 2) function 744 fun get s = List.find (fn f => name f = mk_f s) fns function
|
H A D | stateLib.sml | 1337 fun get i l = function
|
/seL4-l4v-master/HOL4/examples/l3-machine-code/cheri/step/ |
H A D | cheri_stepLib.sml | 403 val get = pairSyntax.dest_pair o utilsLib.rhsc value
|
/seL4-l4v-master/HOL4/tools/Holmake/ |
H A D | GetOpt.sml | 183 fun get ([], opts, nonOpts) = (List.rev opts, List.rev nonOpts) function
|
/seL4-l4v-master/HOL4/examples/formal-languages/context-free/ |
H A D | grammarLib.sml | 31 fun get s = (s, Some s) function
|
/seL4-l4v-master/HOL4/examples/formal-languages/regular/ |
H A D | Regexp_Type.sml | 479 let fun get strm = function
|
/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | Map.sml | 1055 fun get m key = function
|
H A D | Map.sig | 39 val get : ('key,'a) map -> 'key -> 'a (* raises Error *) value
|
H A D | KeyMap.sml | 1063 fun get m key = function
|
H A D | KeyMap.sig | 49 val get : 'a map -> key -> 'a (* raises Error *) value
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Map.sml | 1055 fun get m key = function
|
H A D | Map.sig | 39 val get : ('key,'a) map -> 'key -> 'a (* raises Error *) value
|
H A D | KeyMap.sml | 1063 fun get m key = function
|
H A D | KeyMap.sig | 49 val get : 'a map -> key -> 'a (* raises Error *) value
|