sig
  type 'a t
  val gen :
    (?size:int -> Random.State.t -> 'a) ->
    ?size:int -> Random.State.t -> 'a Reins.Types.Poly.Arbitrary.t
  val to_string : ('a -> string) -> 'a Reins.Types.Poly.Arbitrary.t -> string
end