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