Module type Reins.Maps.GenKeyMapSigFnStd

module type GenKeyMapSigFnStd = functor (C : Reins.Types.Mono.ArbitraryComparable) -> GenKeyMapSigStd  with type key = C.t

include Reins.Maps.MonoKeyMapSig

val gen1 : (?size:int -> Random.State.t -> 'a) -> ?size:int -> Random.State.t -> 'a t