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