Module Reins.Quickcheck.Law.Arg

module Arg: Reins.Types.Mono.Arbitrary

A value of type Arg.t will be randomly generated and passed to the law function below.

type t

val gen : ?size:int -> Random.State.t -> t

val to_string : t -> string