preface.make
Meet_semilattice.Infix
preface
preface.core
preface.laws
preface.qcheck
preface.specs
preface.stdlib
module Core : Preface_specs.Meet_semilattice.CORE
type t = Core.t
The type held by the Meet_semilattice.
Meet_semilattice
val (&&) : t -> t -> t
Infix version of meet.
meet