Preface_specs.Bounded_latticeA Bounded_lattice capture the notion of Bounded join semilattice and a Bounded meet semilattice
module type WITH_BOUNDED_JOIN_LATTICE_AND_BOUNDED_MEET_LATTICE = sig ... endmodule type CORE = WITH_BOUNDED_JOIN_LATTICE_AND_BOUNDED_MEET_LATTICEBasis operations
module type INFIX = sig ... endInfix operators.
module type API = sig ... endThe complete interface of a Bounded_lattice.