A BoundedMeetSemilattice must satisfy the following laws in addition to MeetSemilattice laws:
BoundedMeetSemilattice
MeetSemilattice
a ∧ 1 <-> a
Added in v2.0.0
Signature
export interface BoundedMeetSemilattice<A> extends MeetSemilattice<A> { readonly one: A }