Module Fix.Glue

Glue contains glue code that helps build various implementations of association maps.

module CHAR : Fix__.Sigs.TYPE with type t = char
module INT : Fix__.Sigs.TYPE with type t = int
module STRING : Fix__.Sigs.TYPE with type t = string
module TrivialOrderedType : functor (T : Fix__.Sigs.TYPE) -> Fix__.Sigs.OrderedType with type TrivialOrderedType.t = T.t
module TrivialHashedType : functor (T : Fix__.Sigs.TYPE) -> Fix__.Sigs.HashedType with type TrivialHashedType.t = T.t
module InjectOrderedType : functor (U : Fix__.Sigs.OrderedType) -> functor (I : Fix__.Sigs.INJECTION with type u := U.t) -> Fix__.Sigs.OrderedType with type InjectOrderedType.t = I.t
module InjectHashedType : functor (U : Fix__.Sigs.HashedType) -> functor (I : Fix__.Sigs.INJECTION with type u := U.t) -> Fix__.Sigs.HashedType with type InjectHashedType.t = I.t
module InjectMinimalImperativeMaps : functor (M : Fix__.Sigs.MINIMAL_IMPERATIVE_MAPS) -> functor (I : Fix__.Sigs.INJECTION with type u := M.key) -> Fix__.Sigs.MINIMAL_IMPERATIVE_MAPS with type key = I.t
module InjectImperativeMaps : functor (M : Fix__.Sigs.IMPERATIVE_MAPS) -> functor (I : Fix__.Sigs.INJECTION with type u := M.key) -> functor (J : sig ... end) -> Fix__.Sigs.IMPERATIVE_MAPS with type key = I.t
module PersistentMapsToImperativeMaps : functor (M : Fix__.Sigs.PERSISTENT_MAPS) -> Fix__.Sigs.IMPERATIVE_MAPS with type key = M.key and type 'data t = 'data M.t Stdlib.ref
module ArraysAsImperativeMaps : functor (K : sig ... end) -> Fix__.Sigs.IMPERATIVE_MAPS with type key = int and type 'data t = 'data option array
module HashTablesAsImperativeMaps : functor (H : Fix__.Sigs.HashedType) -> Fix__.Sigs.IMPERATIVE_MAPS with type key = H.t and type 'data t = 'data Stdlib.Hashtbl.Make(H).t
module WeakHashTablesAsImperativeMaps : functor (H : Fix__.Sigs.HashedType) -> Fix__.Sigs.IMPERATIVE_MAPS with type key = H.t and type 'data t = 'data Stdlib.Ephemeron.K1.Make(H).t
module MinimalSemiLattice : functor (P : Fix__.Sigs.SEMI_LATTICE) -> Fix__.Sigs.MINIMAL_SEMI_LATTICE with type property = P.property