Overview
A BoundedMeetSemilattice must satisfy the following laws in addition to MeetSemilattice laws:
a ∧ 1 = a
Table of contents
BoundedMeetSemilattice (interface)
Signature
export interface BoundedMeetSemilattice<A> extends MeetSemilattice<A> {
readonly one: A
}
Added in v1.4.0