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 v2.0.0