16 lines
340 B
TypeScript
16 lines
340 B
TypeScript
|
/**
|
|||
|
|
* A `BoundedJoinSemilattice` must satisfy the following laws in addition to `JoinSemilattice` laws:
|
|||
|
|
*
|
|||
|
|
* - `a ∨ 0 <-> a`
|
|||
|
|
*
|
|||
|
|
* @since 2.0.0
|
|||
|
|
*/
|
|||
|
|
import { JoinSemilattice } from './JoinSemilattice'
|
|||
|
|
/**
|
|||
|
|
* @category model
|
|||
|
|
* @since 2.0.0
|
|||
|
|
*/
|
|||
|
|
export interface BoundedJoinSemilattice<A> extends JoinSemilattice<A> {
|
|||
|
|
readonly zero: A
|
|||
|
|
}
|