| /seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
| H A D | ElementSet.sig | 49 val pick : set -> element (* an arbitrary element *) value
|
| H A D | KeyMap.sig | 51 val pick : 'a map -> key * 'a (* an arbitrary key/value pair *) value
|
| H A D | Map.sig | 41 val pick : ('key,'a) map -> 'key * 'a (* an arbitrary key/value pair *) value
|
| H A D | Set.sig | 39 val pick : 'elt set -> 'elt (* an arbitrary element *) value
|
| H A D | Set.sml | 66 fun pick (Set m) = function
|
| H A D | ElementSet.sml | 80 fun pick (Set m) = function
|
| H A D | KeyMap.sml | 1068 fun pick (Map tree) = treePick tree; function
|
| H A D | Map.sml | 1060 fun pick (Map (_,tree)) = treePick tree; function
|
| H A D | Rewrite.sml | 546 fun pick known set = function
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | ElementSet.sig | 49 val pick : set -> element (* an arbitrary element *) value
|
| H A D | KeyMap.sig | 51 val pick : 'a map -> key * 'a (* an arbitrary key/value pair *) value
|
| H A D | Map.sig | 41 val pick : ('key,'a) map -> 'key * 'a (* an arbitrary key/value pair *) value
|
| H A D | Set.sig | 39 val pick : 'elt set -> 'elt (* an arbitrary element *) value
|
| H A D | Set.sml | 66 fun pick (Set m) = function
|
| H A D | ElementSet.sml | 80 fun pick (Set m) = function
|
| H A D | KeyMap.sml | 1068 fun pick (Map tree) = treePick tree; function
|
| H A D | Map.sml | 1060 fun pick (Map (_,tree)) = treePick tree; function
|
| H A D | Rewrite.sml | 546 fun pick known set = function
|
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/common/ |
| H A D | utilsLib.sig | 81 val pick: bool list -> 'a list -> 'a list value
|
| H A D | Import.sml | 1017 fun pick (a, b) tm = (if Lib.can wordsSyntax.dim_of tm then a else b) tm function
1122 fun pick (a, b, c, d) (tm1, tm2: term) : term = function
[all...] |
| H A D | utilsLib.sml | 161 fun pick [] l2 = (WARN "pick" "not picking"; l2) function
|
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibRewrite.sml | 395 fun pick known s = function
|
| H A D | mlibClause.sml | 689 fun pick (0 :: _) (x,_) = x function
|
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | regexpMatch.sml | 265 fun pick class = Option.valOf(Binaryset.find (K true) class); function
|
| /seL4-l4v-10.1.1/HOL4/examples/ARM/v7/ |
| H A D | arm_parserLib.sml | 4453 let fun pick b = Instruction1 function
|