16 lines
339 B
TypeScript
16 lines
339 B
TypeScript
|
/**
|
||
|
|
* A `BoundedMeetSemilattice` must satisfy the following laws in addition to `MeetSemilattice` laws:
|
||
|
|
*
|
||
|
|
* - `a ∧ 1 <-> a`
|
||
|
|
*
|
||
|
|
* @since 2.0.0
|
||
|
|
*/
|
||
|
|
import { MeetSemilattice } from './MeetSemilattice'
|
||
|
|
/**
|
||
|
|
* @category model
|
||
|
|
* @since 2.0.0
|
||
|
|
*/
|
||
|
|
export interface BoundedMeetSemilattice<A> extends MeetSemilattice<A> {
|
||
|
|
readonly one: A
|
||
|
|
}
|