preface.laws
Bounded_join_semilattice.For
preface
preface.core
preface.make
preface.qcheck
preface.specs
preface.stdlib
module L : Preface_specs.BOUNDED_JOIN_SEMILATTICE
val bounded_join_semilattice_1 : unit -> (L.t, L.t) Law.t