package base

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

See set.mli for comments.

module type Elt_plain = sig ... end
module Without_comparator = Map_intf.Without_comparator
module With_comparator = Map_intf.With_comparator
module With_first_class_module = Map_intf.With_first_class_module
include module type of struct include Container_intf.Export end
module Continue_or_stop = 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 Finished_or_stopped_early = Container_intf.Export.Finished_or_stopped_early

Finished_or_stopped_early.t is returned by fold_until to indicate whether f requested the fold stop, or if the fold completed.

module Merge_to_sequence_element = 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 (T : T.T2) (Tree : T.T2) (Elt : T.T1) (Cmp : T.T1) (Options : T.T3) (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) : sig ... end

Consistency checks (same as in Container).

module Check_accessors0 (M : Accessors0) : sig ... end
module Check_accessors1 (M : Accessors1) : sig ... end
module Check_accessors2 (M : Accessors2) : 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 (T : T.T2) (Tree : T.T2) (Elt : T.T1) (Cmp : T.T1) (Options : T.T3) (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 (M : Creators0) : sig ... end
module Check_creators1 (M : Creators1) : sig ... end
module Check_creators2 (M : Creators2) : 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