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