package tezos-test-helpers

  1. Overview
  2. Docs

Module Qcheck_extra.Stateful_genSource

Sourcemodule type S = sig ... end
Sourcemodule 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.

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

Innovation. Community. Security.