Suite_applicative (preface.Preface_qcheck.Traversable.Suite

Parameters

module R : Model.COVARIANT_1

module T : Preface_specs.Traversable.API_OVER_APPLICATIVE with type 'a t = 'a R.t

module RF : Model.COVARIANT_1

module F : Preface_specs.APPLICATIVE with type 'a t = 'a RF.t

module RG : Model.COVARIANT_1

module G : Preface_specs.APPLICATIVE with type 'a t = 'a RG.t

module NT : sig ... end

module A : Model.T0

module B : Model.T0

module C : Model.T0

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