Module type Reins.Oracle.RestrictedSet


module type RestrictedSet = Reins.Sets.GenSetSig  with type 'a result = 'a

include Reins.Sets.MonoSetSig
val gen : ?size:int -> Random.State.t -> t