Indexed_foldable.Suite
module R : Model.COVARIANT_2
module F : Preface_specs.INDEXED_FOLDABLE with type ('a, 'index) t = ('a, 'index) R.t
module A : Model.T0
module B : Model.T0
module M : Preface_specs.MONOID with type t = A.t
module Index : Model.T0
val tests : count:int -> QCheck2.Test.t list