Module Lattices.Total

Parameters

Signature

val min : L.t
val max : L.t
val le : L.t -> L.t -> bool
val equal : L.t -> L.t -> bool
val join : L.t -> L.t -> L.t
val meet : L.t -> L.t -> L.t