Preface_specs.Meet_semilattice
A Meet_semilattice
capture the notion of a set with greatest lower bound. A meet semilattice is an idempotent commutative semigroup.
To have a predictable behaviour, the instance of Meet_semilattice
must obey some laws.
meet a (meet b c) = meet (meet a b) c
meet a b = meet b a
meet a a = a
module type WITH_MEET = sig ... end
module type CORE = WITH_MEET
Basis operations.
module type INFIX = sig ... end
Infix operators.
module type API = sig ... end
The complete interface of a Meet_semilattice
.