| /seL4-l4v-master/HOL4/src/portableML/ |
| H A D | FlagDB.sig | 10 val keys : t -> {key : string, desc : string} list value
|
| H A D | FlagDB.sml | 39 fun keys t = function
|
| H A D | Table.sml | 29 val keys: 'a table -> key list value
128 fun keys tab = fold_rev_table (cons o #1) tab []; function
|
| H A D | Graph.sml | 24 val keys: 'a T -> key list value
125 fun keys (Graph tab) = Table.keys tab; function
|
| /seL4-l4v-master/HOL4/examples/acl2/tests/inputs/ |
| H A D | records.lisp | 86 (defun keys (x) function
[all...] |
| /seL4-l4v-master/HOL4/examples/HolCheck/ |
| H A D | stringBinTree.sml | 140 let val keys = fst(ListPair.unzip keymap) value
[all...] |
| /seL4-l4v-master/HOL4/src/finite_maps/ |
| H A D | patriciaLib.sig | 22 val keys : term_ptree -> num list value
|
| H A D | patriciaLib.sml | 136 fun keys t = Listsort.sort Arbnum.compare (traverse t) function
|
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | KeyMap.sig | 172 val keys : 'a map -> key list value
|
| H A D | Map.sig | 162 val keys : ('key,'a) map -> 'key list value
|
| H A D | KeyMap.sml | 1416 fun keys m = foldr (fn (key,_,l) => key :: l) [] m; function
|
| H A D | Map.sml | 1408 fun keys m = foldr (fn (key,_,l) => key :: l) [] m; function
|
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | KeyMap.sig | 172 val keys : 'a map -> key list value
|
| H A D | Map.sig | 162 val keys : ('key,'a) map -> 'key list value
|
| H A D | KeyMap.sml | 1416 fun keys m = foldr (fn (key,_,l) => key :: l) [] m; function
|
| H A D | Map.sml | 1408 fun keys m = foldr (fn (key,_,l) => key :: l) [] m; function
|
| /seL4-l4v-master/HOL4/src/parse/ |
| H A D | type_grammar.sml | 211 fun keys m = Binarymap.foldr (fn (k,v,acc) => k :: acc) [] m function
|
| H A D | Overload.sml | 514 fun keys dict = Binarymap.foldr (fn (k,v,l) => k::l) [] dict function
|
| /seL4-l4v-master/HOL4/src/simp/src/ |
| H A D | simpLib.sml | 969 val keys = Listsort.sort String.compare keysl value
|
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | xwindows.cpp | 2865 uchar *keys = (uchar*)k; local
2873 char keys[32]; local
|