Module GenericMap

module GenericMap: sig .. end

Provide a way to create GenericMap from a module specifying how to hash.

module type S = sig .. end

This module type must be implemented to obtain an instantiated GenericMap.

module type GenericMapSig = sig .. end

Common signature of map modules based on Ptrees library.

module Make: functor (El : S) -> GenericMapSig  with type key = El.t

module MaptoSet: functor (S : sig

type t

end) -> functor (GMap : GenericMapSig  with type key = S.t) -> functor (GSet : GenericSet.GenericSetSig  with type elt = S.t) -> sig .. end