Module type Hptset.S


module type S = sig .. end
Output signature of the functor Set.Make.

type elt 
The type of the set elements.
include Datatype.S

The datatype of sets.
val empty : t
The empty set.
val is_empty : t -> bool
Test whether a set is empty or not.
val mem : elt -> t -> bool
mem x s tests whether x belongs to the set s.
val add : elt -> t -> t
add x s returns a set containing all elements of s, plus x. If x was already in s, s is returned unchanged.
val singleton : elt -> t
singleton x returns the one-element set containing only x.
val remove : elt -> t -> t
remove x s returns a set containing all elements of s, except x. If x was not in s, s is returned unchanged.
val elements : t -> elt list
val union : t -> t -> t
Set union.
val inter : t -> t -> t
Set intersection.
val diff : t -> t -> t
Set difference.
val subset : t -> t -> bool
subset s1 s2 tests whether the set s1 is a subset of the set s2.
val iter : (elt -> unit) -> t -> unit
iter f s applies f in turn to all elements of s. The elements of s are presented to f in increasing order with respect to the ordering over the type of the elements.
val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
fold f s a computes (f xN ... (f x2 (f x1 a))...), where x1 ... xN are the elements of s, in increasing order.
val for_all : (elt -> bool) -> t -> bool
for_all p s checks if all elements of the set satisfy the predicate p.
val exists : (elt -> bool) -> t -> bool
exists p s checks if at least one element of the set satisfies the predicate p.
val filter : (elt -> bool) -> t -> t
filter p s returns the set of all elements in s that satisfy predicate p.
val cardinal : t -> int
Return the number of elements of a set.
val min_elt : t -> elt
Return the smallest element of the given set (with respect to the Ord.compare ordering), or raise Not_found if the set is empty.
val contains_single_elt : t -> elt option