Module Reins.SplayMap

module SplayMap: sig .. end

module PolyMap: Reins.Maps.PolyMapSig  with type ('a,'k,'v) result = 'a * ('k,'v) PolyMap.t

module MonoKeyMap: 
functor (C : Reins.Types.Mono.Comparable) -> Reins.Maps.MonoKeyMapSig  with type key = C.t
		       and type ('a,'v) result = 'a * 'v MonoKeyMap(C).t

module GenKeyMap: 
functor (C : Reins.Types.Mono.ArbitraryComparable) -> Reins.Maps.GenKeyMapSig  with type key = C.t
		   and type ('a,'v) result = 'a * 'v GenKeyMap(C).t

module MonoMap: 
functor (K : Reins.Types.Mono.Comparable) -> 
functor (V : Reins.Types.Mono.Comparable) -> Reins.Maps.MonoMapSig  with type key = K.t
		      and type elt = V.t
		      and type 'a result = 'a * MonoMap(K)(V).t

module GenMap: 
functor (K : Reins.Types.Mono.ArbitraryComparable) -> 
functor (V : Reins.Types.Mono.ArbitraryComparable) -> Reins.Maps.GenMapSig  with type key = K.t
		     and type elt = V.t
		     and type 'a result = 'a * GenMap(K)(V).t