Module Qcheck_extra.Stateful_gen

module type S = sig ... end
module Make (F : Monad.S) : S with type 'a m = 'a F.t

Produces a pseudo-random generator that can execute side-effects in an underlying Monad.S.

module Default : S with type 'a m = 'a Identity.t