Functor Asetmap.Set.Make

module Make: 
functor (Ord : Set.OrderedType) -> S with type elt = Ord.t
Make (Ord) is a set data structure for values of the totally ordered type Ord.
Parameters:
Ord : Set.OrderedType


Set


include Set.S
val find : elt -> t -> elt option
find e s is the element of s equal to e (if any).
val get : elt -> t -> elt
get is like Asetmap.Set.S.find but
Raises Invalid_argument if elt is not in s.
val min_elt : t -> elt option
min_elt s is the smallest element of s (if any).
val get_min_elt : t -> elt
get_min_elt is like Asetmap.Set.S.min_elt but
Raises Invalid_argument on the empty set.
val max_elt : t -> elt option
max_elt s is the greatest element of s (if any).
val get_max_elt : t -> elt
get_max_elt is like Asetmap.Set.S.max_elt but
Raises Invalid_argument on the empty set.
val choose : t -> elt option
choose s is an element of s or None is s empty. The chosen element is equal for equal sets.
val get_any_elt : t -> elt
get_any_elt is like Asetmap.Set.S.choose but
Raises Invalid_argument on the empty set.

Conversions


val to_list : t -> elt list
to_list s is the elements of s in increasing order.
val of_list : elt list -> t
of_list l is a set from the elements of l

Pretty-printers


val pp : ?sep:(Format.formatter -> unit -> unit) ->
(Format.formatter -> elt -> unit) -> Format.formatter -> t -> unit
pp ~sep pp_elt ppf s formats the elements of s on ppf. Each element is formatted with pp_elt and elements are separated by ~sep (defaults to Format.pp_print_cut). If the set is empty leaves ppf untouched.
val dump : (Format.formatter -> elt -> unit) -> Format.formatter -> t -> unit
dump pp_elt ppf s prints an unspecified representation of s on ppf using pp_elt to print elements.