Module type Reins.Maps.GenMapSigFn

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

include Reins.Maps.MonoMapSig

val gen : ?size:int -> Random.State.t -> t