sig
  type t
  val gen : ?size:int -> Random.State.t -> Reins.Types.Mono.Arbitrary.t
  val to_string : Reins.Types.Mono.Arbitrary.t -> string
end