Module Reins.Maps


module Maps: sig .. end


Signature for Map ADTs
module type Map_ = sig .. end
module type PolyMapSig = sig .. end
module type PolyMapSigStd = PolyMapSig  with type ('a,'k,'v) result = 'a
module type MonoKeyMapSig = sig .. end
module type MonoKeyMapSigStd = MonoKeyMapSig  with type ('a,'v) result = 'a
module type MonoKeyMapSigFnStd = functor (C : Reins.Types.Mono.Comparable) -> MonoKeyMapSigStd  with type key = C.t
module type GenKeyMapSig = sig .. end
module type GenKeyMapSigStd = GenKeyMapSig  with type ('a,'v) result = 'a
module type GenKeyMapSigFnStd = functor (C : Reins.Types.Mono.ArbitraryComparable) -> GenKeyMapSigStd  with type key = C.t
module type MonoMapSig = sig .. end
module type MonoMapSigFn = functor (K : Reins.Types.Mono.Comparable) -> functor (V : Reins.Types.Mono.Comparable) -> MonoMapSig  with type key = K.t and type elt = V.t
module type MonoMapSigFnStd = functor (K : Reins.Types.Mono.Comparable) -> functor (V : Reins.Types.Mono.Comparable) -> MonoMapSig  with type key = K.t and type elt = V.t
		 and type 'a result = 'a
module type GenMapSig = sig .. end
module type GenMapSigFn = functor (K : Reins.Types.Mono.ArbitraryComparable) -> functor (V : Reins.Types.Mono.ArbitraryComparable) -> GenMapSig  with type key = K.t and type elt = V.t
module type GenMapSigFnStd = functor (K : Reins.Types.Mono.ArbitraryComparable) -> functor (V : Reins.Types.Mono.ArbitraryComparable) -> GenMapSig  with type key = K.t and type elt = V.t
		and type 'a result = 'a