Suite (preface.Preface_qcheck.Bifunctor.Suite)

Parameters

module R : Model.COVARIANT_2

module BF : Preface_specs.BIFUNCTOR with type ('a, 'b) t = ('a, 'b) R.t

module A : Model.T0

module B : Model.T0

module C : Model.T0

module D : Model.T0

module E : Model.T0

module F : Model.T0

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