Suite_monad_plus (preface.Preface_qcheck.Writer.Suite_monad

Parameters

module Req_m : Model.COVARIANT_1

module M : Preface_specs.MONAD_PLUS with type 'a t = 'a Req_m.t

module Req_t : Model.T0

module Tape : Preface_specs.MONOID with type t = Req_t.t

module A : Model.T0

module B : Model.T0

module C : Model.T0

module D : Model.T0

val tests : count:int -> QCheck2.Test.t list