Functor Asetmap.Set.Make

module Make: functor (Ord : Set.OrderedType) -> S 
    with type elt = Ord.t
     and type t = Set.Make(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.