Searched defs:findr (Results 1 - 18 of 18) sorted by relevance

/seL4-l4v-master/HOL4/examples/elliptic/
H A DMap.sig65 val findr : ('key * 'a -> bool) -> ('key,'a) map -> ('key * 'a) option value
H A DMap.sml547 fun findr p m = find p (mkRevIterator m); function
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DElementSet.sig113 val findr : (element -> bool) -> set -> element option value
H A DKeyMap.sig148 val findr : (key * 'a -> bool) -> 'a map -> (key * 'a) option value
H A DMap.sig138 val findr : ('key * 'a -> bool) -> ('key,'a) map -> ('key * 'a) option value
H A DSet.sig103 val findr : ('elt -> bool) -> 'elt set -> 'elt option value
H A DSet.sml229 fun findr p = function
H A DElementSet.sml243 fun findr p = function
H A DKeyMap.sml1281 fun findr p m = findIterator p (mkRevIterator m); function
H A DMap.sml1273 fun findr p m = findIterator p (mkRevIterator m); function
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DElementSet.sig113 val findr : (element -> bool) -> set -> element option value
H A DKeyMap.sig148 val findr : (key * 'a -> bool) -> 'a map -> (key * 'a) option value
H A DMap.sig138 val findr : ('key * 'a -> bool) -> ('key,'a) map -> ('key * 'a) option value
H A DSet.sig103 val findr : ('elt -> bool) -> 'elt set -> 'elt option value
H A DSet.sml229 fun findr p = function
H A DElementSet.sml243 fun findr p = function
H A DKeyMap.sml1281 fun findr p m = findIterator p (mkRevIterator m); function
H A DMap.sml1273 fun findr p m = findIterator p (mkRevIterator m); function

Completed in 118 milliseconds