Module `Preface_specs.Lattice`

A Lattice capture the notion of a join semilattice and a meet semilattice

Minimal definition

module type WITH_JOIN_AND_MEET = sig ... end

Structure anatomy

module type CORE = WITH_JOIN_AND_MEET

Basis operations

module type INFIX = sig ... end

Infix operators.

Complete API

module type API = sig ... end

The complete interface of a Lattice.