Preface_specs.Bounded_meet_semilattice
A Bounded_meet_semilattice
capture the notion of a set with greatest lower bound with a top. A bounded meet semilattice is an idempotent commutative semigroup.
To have a predictable behaviour, the instance of Bounded_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
meet a top = a
module type WITH_TOP = sig ... end
module type WITH_MEET_AND_TOP = sig ... end
module type CORE = WITH_MEET_AND_TOP
Basis operations.
module type INFIX = sig ... end
Infix operators.
module type API = sig ... end
The complete interface of a Bounded_meet_semillatice
.