Searched defs:keys (Results 1 - 17 of 17) sorted by last modified time
| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | Map.sml | 1408 fun keys m = foldr (fn (key,_,l) => key :: l) [] m; function
|
| 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 | KeyMap.sig | 172 val keys : 'a map -> key list value
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | Map.sml | 1408 fun keys m = foldr (fn (key,_,l) => key :: l) [] m; function
|
| 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 | KeyMap.sig | 172 val keys : 'a map -> key list value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | xwindows.cpp | 2863 uchar *keys = (uchar*)k; local
2871 char keys[32]; local
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/ |
| 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-10.1.1/HOL4/src/patricia/ |
| H A D | patriciaLib.sml | 133 fun keys t = Listsort.sort Arbnum.compare (traverse t) function
|
| H A D | patriciaLib.sig | 22 val keys : term_ptree -> num list value
|
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | type_grammar.sml | 208 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-10.1.1/HOL4/examples/acl2/tests/inputs/ |
| H A D | records.lisp | 86 (defun keys (x) function
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/HolCheck/ |
| H A D | stringBinTree.sml | 140 let val keys = fst(ListPair.unzip keymap) value
[all...] |
Completed in 139 milliseconds