preface.qcheck
Bounded_lattice.Suite
preface
preface.core
preface.laws
preface.make
preface.specs
preface.stdlib
module R : Model.COVARIANT_0
module L : Preface_specs.BOUNDED_LATTICE with type t = R.t
val tests : count:int -> QCheck2.Test.t list