Bounded_lattice.API
The complete interface of a Bounded_lattice
.
include Bounded_join_semilattice.API
Functions
include Bounded_join_semilattice.WITH_BOTTOM with type t := t
include Join_semilattice.WITH_JOIN with type t := t
include Bounded_meet_semilattice.API with type t := t
Functions
include Bounded_meet_semilattice.WITH_TOP with type t := t
include Meet_semilattice.WITH_MEET with type t := t
Functions
include Bounded_join_semilattice.WITH_JOIN_AND_BOTTOM with type t := t
include Bounded_join_semilattice.WITH_BOTTOM with type t := t
val bottom : t
The bottom value represent the least element of the join semilattice
include Bounded_meet_semilattice.WITH_MEET_AND_TOP with type t := t
include Bounded_meet_semilattice.WITH_TOP with type t := t
val top : t
the top value represent the greatest element of the meet semilattice