Module 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.

Laws

To have a predictable behaviour, the instance of Meet_semilattice must obey some laws.

Minimal definition

module type WITH_MEET = sig ... end

Structure anatomy

module type CORE = WITH_MEET

Basis operations.

module type INFIX = sig ... end

Infix operators.

Complete API

module type API = sig ... end

The complete interface of a Meet_semilattice.