Module `Core_kernel__.Quickcheck_intf`

module type Generator = sig ... end

module type Deriving_hash = sig ... end

module type Observer = sig ... end

module type Shrinker = sig ... end

module type Pre_int = sig ... end

module type S = sig ... end

module type S1 = sig ... end

module type S2 = sig ... end

module type S_int = sig ... end

type seed = [ | `Deterministic of Core_kernel__.Import.string | `Nondeterministic ]: 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.

type shrink_attempts = [ | `Exhaustive | `Limit of Core_kernel__.Import.int ]

module type Quickcheck_config = sig ... end

module type Quickcheck_configured = sig ... end

module type Quickcheck = sig ... end