Module `Traversable.Suite_monad`

Parameters

module R : Model.COVARIANT_1

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

module A : Model.T0

Signature

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