module PatriciaMap:sig..end
module MonoKeyMap:Reins.Maps.MonoKeyMapSigwith type key = int and type 'e elt = 'e
module GenKeyMap:Reins.Maps.GenKeyMapSigwith type key = int and type 'e elt = 'e
module MonoMap:functor (C:Reins.Types.Mono.Comparable) ->Reins.Maps.MonoMapSigwith type key = int and type elt = C.t
module GenMap:functor (C:Reins.Types.Mono.ArbitraryComparable) ->Reins.Maps.GenMapSigwith type key = int and type elt = C.t