| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibPatricia.sig | 25 val find : key -> 'a t -> 'a value
|
| H A D | mlibPatricia.sml | 43 fun find k t = function
|
| /seL4-l4v-10.1.1/HOL4/src/parse/ |
| H A D | LVTermNet.sig | 11 val find : 'a lvtermnet * key -> 'a list value
|
| H A D | TypeNet.sig | 10 val find : 'a typenet * hol_type -> 'a value
|
| H A D | TypeNet.sml | 118 fun find (n, ty) = function
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/ |
| H A D | AList.sig | 29 val find: ('a * 'b -> bool) -> ('c * 'b) list -> 'a -> 'c list value
|
| H A D | PIntMap.sig | 33 val find : int -> 'a t -> 'a value
|
| H A D | AList.sml | 16 fun find [] _ = ~1 function
86 fun find eq [] _ = [] function
|
| H A D | Redblackmap.sig | 14 val find : ('key, 'a) dict * 'key -> 'a value
|
| H A D | Redblackset.sig | 29 val find : ('item -> bool) -> 'item set -> 'item option value
|
| /seL4-l4v-10.1.1/HOL4/tools-poly/poly/ |
| H A D | Binarymap.sig | 14 val find : ('key, 'a) dict * 'key -> 'a value
|
| H A D | Binaryset.sig | 32 val find : ('item -> bool) -> 'item set -> 'item option value
|
| /seL4-l4v-10.1.1/HOL4/tools/mlyacc/mlyacclib/ |
| H A D | MLY_lrtable.sml | 53 let fun find (PAIR (T key,data,r)) = function
61 let fun find (PAIR (NT key,data,r)) = function
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/ppc/ |
| H A D | ppc_encodeLib.sml | 50 fun find [] c = c function
|
| /seL4-l4v-10.1.1/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/ |
| H A D | lrtable.sml | 28 let fun find (PAIR (T key,data,r)) = function
36 let fun find (PAIR (NT key,data,r)) = function
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/HOL/TPTP/TPTP_Parser/ml-yacc/lib/ |
| H A D | lrtable.sml | 28 let fun find (PAIR (T key,data,r)) = function
36 let fun find (PAIR (NT key,data,r)) = function
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/ |
| H A D | ord-map-sig.sml | 27 val find : 'a map * int -> 'a option value
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/ |
| H A D | ord-map-sig.sml | 27 val find : 'a map * int -> 'a option value
|
| /seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/util/ |
| H A D | ord-map-sig.sml | 27 val find : 'a map * int -> 'a option value
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
| H A D | Intset.sig | 30 val find : (int -> bool) -> intset -> int option value
|
| /seL4-l4v-10.1.1/HOL4/src/postkernel/ |
| H A D | DB.sig | 22 val find : string -> data list value
|
| /seL4-l4v-10.1.1/HOL4/src/prekernel/ |
| H A D | KernelSig.sig | 24 val find : 'a symboltable * kernelname -> kernelid * 'a value
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | ArraySignature.sml | 48 val find: ('a -> bool) -> 'a array -> 'a option value
|
| H A D | ArraySliceSignature.sml | 50 val find: ('a -> bool) -> 'a slice -> 'a option value
|
| H A D | ListSignature.sml | 45 val find : ('a -> bool) -> 'a list -> 'a option value
|