Searched defs:all (Results 1 - 25 of 81) sorted by relevance

1234

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DBIT_FLAGS.sml28 val all: flags value
H A DListPair.sml37 val all : ('a * 'b -> bool) -> ('a list * 'b list) -> bool value
97 fun all f (h::t, h'::t') = if f(h, h') then all f (t, t') else false function
H A DArraySignature.sml50 val all: ('a -> bool) -> 'a array -> bool value
H A DArraySliceSignature.sml53 val all: ('a -> bool) -> 'a slice -> bool value
H A DListSignature.sml51 val all : ('a -> bool) -> 'a list -> bool value
H A DMONO_ARRAY.sml49 val all: (elem -> bool) -> array -> bool value
H A DMONO_VECTOR.sml45 val all: (elem -> bool) -> vector -> bool value
H A DMONO_VECTOR_SLICE.sml50 val all: (elem -> bool) -> slice -> bool value
H A DPolyVectorOperations.sml41 val all: ('a -> bool) -> 'a vector -> bool value
171 fun all pred arr = not (exists (not o pred) arr) function
H A DVectorOperations.sml45 val all: (elem -> bool) -> vector -> bool value
175 fun all pred arr = not (exists (not o pred) arr) function
H A DVectorSignature.sml45 val all: ('a -> bool) -> 'a vector -> bool value
H A DVectorSliceSignature.sml45 val all: ('a -> bool) -> 'a slice -> bool value
H A DList.sml126 fun all _ [] = true function
H A DMONO_ARRAY_SLICE.sml54 val all: (elem -> bool) -> slice -> bool value
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibMultiset.sig25 val all : ('a * int -> bool) -> 'a mset -> bool value
H A DmlibMultiset.sml90 fun all p m = not (exists (not o p) m); function
H A DmlibStream.sig37 val all : ('a -> bool) -> 'a stream -> bool value
H A DmlibStream.sml95 fun all pred = not o exists (not o pred); function
/seL4-l4v-10.1.1/HOL4/polyml/Tests/
H A DRunTests.sml44 fun all () = fold (fn(s, v, l) => (s, v) :: l) (globalAll()) table function
[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dcircuit-bisim.lisp[all...]
H A Dsummary.lisp[all...]
H A Dcircuits.lisp[all...]
/seL4-l4v-10.1.1/HOL4/examples/elliptic/
H A DMap.sig69 val all : ('key * 'a -> bool) -> ('key,'a) map -> bool value
H A DStream.sig66 val all : ('a -> bool) -> 'a stream -> bool value
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DStream.sig67 val all : ('a -> bool) -> 'a stream -> bool value

Completed in 119 milliseconds

1234