Module type Reins.Types.Poly.Arbitrary

module type Arbitrary = sig .. end

type 'a t 

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

val to_string : ('a -> string) -> 'a t -> string