/**
 * A `BoundedMeetSemilattice` must satisfy the following laws in addition to `MeetSemilattice` laws:
 *
 * - `a ∧ 1 <-> a`
 *
 * @remarks
 * Added in 1.0.0
 * @packageDocumentation
 */
import { type MeetSemilattice } from "./MeetSemilattice.js";
/**
 * @remarks
 * Added in 1.0.0
 * @remarks
 * Category: Model
 * @remarks
 * Original License: MIT – Copyright (c) 2017-present Giulio Canti
 * @public
 */
export interface BoundedMeetSemilattice<A> extends MeetSemilattice<A> {
    readonly one: A;
}
//# sourceMappingURL=BoundedMeetSemilattice.d.ts.map