module type GenSetSigFnStd = functor (C : Reins.Types.Mono.ArbitraryComparable) -> GenSetSig with type elt = C.t and type 'a result = 'a
functor (
C
:
Reins.Types.Mono.ArbitraryComparable
) ->
GenSetSig
with type elt = C.t and type 'a result = 'a
include Reins.Sets.MonoSetSig
val gen : ?size:int -> Random.State.t -> t
?size:int -> Random.State.t -> t