package base

  1. Overview
  2. Docs
package base
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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct