package base

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

See map.mli for comments.

module Without_comparator : sig ... end
module With_comparator : sig ... end
module With_first_class_module : sig ... end
module Symmetric_diff_element : sig ... end
module type Accessors_generic = sig ... end
module type Accessors1 = sig ... end
module type Accessors2 = sig ... end
module type Accessors3 = sig ... end
module type Accessors3_with_comparator = sig ... end
module Check_accessors (T : T.T3) (Tree : T.T3) (Key : T.T1) (Options : T.T3) (M : Accessors_generic with type ('a, 'b, 'c) options := ('a, 'b, 'c) Options.t with type ('a, 'b, 'c) t := ('a, 'b, 'c) T.t with type ('a, 'b, 'c) tree := ('a, 'b, 'c) Tree.t with type 'a key := 'a Key.t) : sig ... end

Consistency checks (same as in Container).

module Check_accessors1 (M : Accessors1) : sig ... end
module Check_accessors2 (M : Accessors2) : sig ... end
module Check_accessors3 (M : Accessors3) : sig ... end
module type Creators_generic = sig ... end
module type Creators1 = sig ... end
module type Creators2 = sig ... end
module type Creators3_with_comparator = sig ... end
module Check_creators (T : T.T3) (Tree : T.T3) (Key : T.T1) (Options : T.T3) (M : Creators_generic with type ('a, 'b, 'c) options := ('a, 'b, 'c) Options.t with type ('a, 'b, 'c) t := ('a, 'b, 'c) T.t with type ('a, 'b, 'c) tree := ('a, 'b, 'c) Tree.t with type 'a key := 'a Key.t) : 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_accessors1 = sig ... end
module type Creators_and_accessors2 = sig ... end
module type Creators_and_accessors3_with_comparator = sig ... end