A BoundedJoinSemilattice must satisfy the following laws in addition to JoinSemilattice laws:
BoundedJoinSemilattice
JoinSemilattice
a ∨ 0 <-> a
Added in v2.0.0
Signature
export interface BoundedJoinSemilattice<A> extends JoinSemilattice<A> { readonly zero: A }