This module contains the signature of an immutable map constructed from a binary search table of containing key elements of the map and an co-domain array of the co-domain elements. Distinguished instances are provided for maps from char and int type values.
module Aux : sig ... endThis module contains the signature of an ancillary array for storage of the co-domain elements of a map structure.
module type Basis = sig ... endThe signature of a map basis module.
module Char_basis :
Basis
with type Index.t = int
and type Table.Search.t = char
and type Table.Vector.element = char
and type Table.Vector.t = string
and type 'a Content.t = 'a arrayA distinguished instance of the map basis for character maps.
module Int_basis :
Basis
with type Index.t = int
and type Table.Search.t = int
and type Table.Vector.element = int
and type Table.Vector.t = int array
and type 'a Content.t = 'a arrayA distinguished instance of the map basis for integer maps.
module String_basis :
Basis
with type Index.t = int
and type Table.Search.t = string
and type Table.Vector.element = string
and type Table.Vector.t = string array
and type 'a Content.t = 'a arrayA distinguished instance of the map basis for string maps.
module type Profile = sig ... endThe signature of a map implementation module.
module Of_basis
(B : Basis) :
Profile
with type search := B.Table.Search.t
and type key := B.Table.Vector.element
and type Unsafe.index := B.Index.t
and type Unsafe.vector := B.Table.Vector.t
and type 'a Unsafe.content := 'a B.Content.tUse Of_basis(B) to create an instance of a map module.
module Create
(R : Cf_relations.Order) :
Profile
with type search := R.t
and type key := R.t
and type Unsafe.index := int
and type Unsafe.vector := R.t array
and type 'a Unsafe.content := 'a arrayA simplified constructor for any total order.
module Of_char :
Profile
with type search := char
and type key := char
and type Unsafe.index := int
and type Unsafe.vector := string
and type 'a Unsafe.content := 'a arrayA distinguished instance for character maps.
module Of_int : sig ... endA distinguished instance for integer maps.
module Of_string : sig ... endA distinguished instance for string maps.