13 lines
311 B
TypeScript
13 lines
311 B
TypeScript
/**
|
||
* @file A `BoundedJoinSemilattice` must satisfy the following laws in addition to `JoinSemilattice` laws:
|
||
*
|
||
* - `a ∨ 0 == a`
|
||
*/
|
||
import { JoinSemilattice } from './JoinSemilattice';
|
||
/**
|
||
* @since 1.4.0
|
||
*/
|
||
export interface BoundedJoinSemilattice<A> extends JoinSemilattice<A> {
|
||
readonly zero: A;
|
||
}
|