Module Set

module Set: sig .. end

type ('elt, 'comparator) t 

type ('elt, 'comparator) tree 

type 'a elt = 'a 

include Creators

include Accessors

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

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

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

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

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

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