Searched defs:filter (Results 1 - 25 of 80) sorted by relevance

1234

/seL4-l4v-10.1.1/HOL4/src/1/
H A DLVTermNetFunctorApplied.sml11 fun filter P s = function
/seL4-l4v-10.1.1/HOL4/src/0/
H A DNet.sig22 val filter : ('a -> bool) -> 'a net -> 'a net value
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/
H A DNet.sig22 val filter : ('a -> bool) -> 'a net -> 'a net value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibLiteralnet.sig23 val filter : ('a -> bool) -> 'a literalnet -> 'a literalnet value
H A DmlibSubsume.sig21 val filter : ('a -> bool) -> 'a subsume -> 'a subsume value
H A DmlibTermnet.sig22 val filter : ('a -> bool) -> 'a termnet -> 'a termnet value
H A DmlibLiteralnet.sml70 fun filter pred = function
H A DmlibClauseset.sig12 type filter = {subsumption : bool, simplification : int, splitting : bool} type
[all...]
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DAtomNet.sig29 val filter : ('a -> bool) -> 'a atomNet -> 'a atomNet value
H A DAtomNet.sml40 val filter = TermNet.filter; value
H A DLiteralNet.sig31 val filter : ('a -> bool) -> 'a literalNet -> 'a literalNet value
H A DLiteralNet.sml44 fun filter pred {positive,negative} = function
H A DSubsume.sig21 val filter : ('a -> bool) -> 'a subsume -> 'a subsume value
H A DTermNet.sig31 val filter : ('a -> bool) -> 'a termNet -> 'a termNet value
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DOption.sml30 val filter : ('a -> bool) -> 'a -> 'a option value
54 fun filter f a = if f a then SOME a else NONE function
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DAtomNet.sig29 val filter : ('a -> bool) -> 'a atomNet -> 'a atomNet value
H A DAtomNet.sml40 val filter = TermNet.filter; value
H A DLiteralNet.sig31 val filter : ('a -> bool) -> 'a literalNet -> 'a literalNet value
H A DLiteralNet.sml44 fun filter pred {positive,negative} = function
H A DSubsume.sig21 val filter : ('a -> bool) -> 'a subsume -> 'a subsume value
H A DTermNet.sig31 val filter : ('a -> bool) -> 'a termNet -> 'a termNet value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A Dord-map-sig.sml86 val filter : ('a -> bool) -> 'a map -> 'a map value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A Dord-map-sig.sml86 val filter : ('a -> bool) -> 'a map -> 'a map value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/util/
H A Dord-map-sig.sml86 val filter : ('a -> bool) -> 'a map -> 'a map value
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DRedblackset.sig30 val filter : ('item -> bool) -> 'item set -> 'item set value

Completed in 222 milliseconds

1234