@arthurgubaidullin/nx-embed-dependencies
Version:
This plugin for [Nx](https://nx.dev) helps injecting local dependencies into a package.
16 lines (15 loc) • 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
}