module type Generator = sig ... end
module type Deriving_hash = sig ... end
module type Observer = sig ... end
module type Shrinker = sig ... end
module type S = sig ... end
module type S1 = sig ... end
module type S2 = sig ... end
module type S_range = sig ... end
module type S_int = sig ... end
seed
specifies how to initialize a pseudo-random number generator. When multiple tests share a deterministic seed, they each get a separate copy of the random generator's state; random choices in one test do not affect those in another. The nondeterministic seed causes a fresh random state to be generated nondeterministically for each test.
module type Quickcheck_config = sig ... end
module type Quickcheck_configured = sig ... end
module type Syntax = sig ... end
Includes Let_syntax
from Monad.Syntax
. Sets Open_on_rhs
to be all of Generator
, except that it does not shadow Let_syntax
itself. Both Generator
and Open_on_rhs
are meant to be destructively assigned.
module type Quickcheck = sig ... end