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