Module `Base__.Set_intf`

module type Elt_plain = sig ... end

module Without_comparator = Base__.Map_intf.Without_comparator

module With_comparator = Base__.Map_intf.With_comparator

module With_first_class_module = Base__.Map_intf.With_first_class_module

include Base__.Container_intf.Export

module Continue_or_stop = Base__.Container_intf.Export.Continue_or_stop: Continue_or_stop.t is used by the f argument to fold_until in order to indicate whether folding should continue, or stop early.

module Merge_to_sequence_element = Base.Sequence.Merge_with_duplicates_element

module type Accessors_generic = sig ... end

module type Accessors0 = sig ... end

module type Accessors1 = sig ... end

module type Accessors2 = sig ... end

module type Accessors2_with_comparator = sig ... end

module Check_accessors : functor (T : Base.T.T2) -> functor (Tree : Base.T.T2) -> functor (Elt : Base.T.T1) -> functor (Named : Base.T.T2) -> functor (Cmp : Base.T.T1) -> functor (Options : Base.T.T3) -> functor (M : Accessors_generic with type ('a, 'b, 'c) options := ('a, 'b, 'c) Options.t with type ('a, 'b) t := ('a, 'b) T.t with type ('a, 'b) tree := ('a, 'b) Tree.t with type 'a elt := 'a Elt.t with type 'cmp cmp := 'cmp Cmp.t with type ('a, 'b) named := ('a, 'b) Named.t) -> sig ... end: Consistency checks (same as in Container).

module Check_accessors0 : functor (M : Accessors0) -> sig ... end

module Check_accessors1 : functor (M : Accessors1) -> sig ... end

module Check_accessors2 : functor (M : Accessors2) -> sig ... end

module Check_accessors2_with_comparator : functor (M : Accessors2_with_comparator) -> sig ... end

module type Creators_generic = sig ... end

module type Creators0 = sig ... end

module type Creators1 = sig ... end

module type Creators2 = sig ... end

module type Creators2_with_comparator = sig ... end

module Check_creators : functor (T : Base.T.T2) -> functor (Tree : Base.T.T2) -> functor (Elt : Base.T.T1) -> functor (Cmp : Base.T.T1) -> functor (Options : Base.T.T3) -> functor (M : Creators_generic with type ('a, 'b, 'c) options := ('a, 'b, 'c) Options.t with type ('a, 'b) t := ('a, 'b) T.t with type ('a, 'b) tree := ('a, 'b) Tree.t with type 'a elt := 'a Elt.t with type 'cmp cmp := 'cmp Cmp.t) -> sig ... end

module Check_creators0 : functor (M : Creators0) -> sig ... end

module Check_creators1 : functor (M : Creators1) -> sig ... end

module Check_creators2 : functor (M : Creators2) -> sig ... end

module Check_creators2_with_comparator : functor (M : Creators2_with_comparator) -> sig ... end

module type Creators_and_accessors_generic = sig ... end

module type Creators_and_accessors0 = sig ... end

module type Creators_and_accessors1 = sig ... end

module type Creators_and_accessors2 = sig ... end

module type Creators_and_accessors2_with_comparator = sig ... end

module type S_poly = Creators_and_accessors1

module type For_deriving = sig ... end

module type Set = sig ... end