Module Reins.Maps

module Maps: sig .. end

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