Bounded_lattice.Suite
module R : Model.COVARIANT_0
module L : Preface_specs.BOUNDED_LATTICE with type t = R.t
val tests : count:int -> QCheck2.Test.t list