Module Writer.Suite_applicative

Parameters

module M : Preface_specs.APPLICATIVE 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

Signature

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