Module `Foldable.Suite`

Parameters

module R : Model.COVARIANT_1

module F : Preface_specs.FOLDABLE with type 'a t = 'a R.t

module A : Model.T0

module B : Model.T0

module M : Preface_specs.MONOID with type t = A.t

Signature

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