Module Set

module Set: sig .. end

This module defines the Set module for Core.Std. We use "core_set" as the file name rather than "set" to avoid conflicts with OCaml's standard set module.

This module uses the same organizational approach as Map. See the documentation in core_map.mli for a description of the approach.

type ('elt, 'comparator) t

type ('elt, 'comparator) tree

type 'a elt = 'a

include Creators

include Accessors

val comparator : ('a, 'comparator) t -> ('a, 'comparator) Comparator.t

module Poly: sig .. end 
  with type ('a, 'b) set := ('a, 'b) t

module type Elt = Core_set_intf.Elt

module type Elt_binable = Core_set_intf.Elt_binable

module type S = S 
  with type ('a, 'b) set  = ('a, 'b) t 
  with type ('a, 'b) tree = ('a, 'b) tree

module type S_binable = S_binable 
  with type ('a, 'b) set  = ('a, 'b) t 
  with type ('a, 'b) tree = ('a, 'b) tree

module Make: functor (Elt : Elt) -> S  with type Elt.t = Elt.t

module Make_using_comparator: functor (Elt : Comparator.S) -> S  with type Elt.t = Elt.t 
    with type Elt.comparator = Elt.comparator

module Make_binable: functor (Elt : Elt_binable) -> S_binable  with type Elt.t = Elt.t

module Make_binable_using_comparator: functor (Elt : Comparator.S_binable) -> S_binable  with type Elt.t = Elt.t 
    with type Elt.comparator = Elt.comparator

module Tree: sig .. end

val compare : ('elt -> 'elt -> int) ->
       ('comparator -> 'comparator -> int) ->
       ('elt, 'comparator) t -> ('elt, 'comparator) t -> int