Module `Lattices.Total`Source

Parameters

module L : Mode_intf.Total

Signature

Sourceval min : L.t

Sourceval max : L.t

Sourceval le : L.t -> L.t -> bool

Sourceval equal : L.t -> L.t -> bool

Sourceval join : L.t -> L.t -> L.t

Sourceval meet : L.t -> L.t -> L.t