/**
 * A `DistributiveLattice` must satisfy the following laws in addition to `Lattice` laws:
 *
 * - Distributivity for meet: `a ∨ (b ∧ c) <-> (a ∨ b) ∧ (a ∨ c)`
 * - Distributivity for join: `a ∧ (b ∨ c) <-> (a ∧ b) ∨ (a ∧ c)`
 *
 * @remarks
 * Added in 1.0.0
 * @packageDocumentation
 */
import { type Lattice } from "./Lattice.js";
import { type Ord } from "./Ord.js";
/**
 * @remarks
 * Added in 1.0.0
 * @remarks
 * Category: Model
 * @remarks
 * Original License: MIT – Copyright (c) 2017-present Giulio Canti
 * @public
 */
export interface DistributiveLattice<A> extends Lattice<A> {
}
/**
 * @remarks
 * Added in 1.0.0
 * @remarks
 * Category: Constructors
 * @remarks
 * Original License: MIT – Copyright (c) 2017-present Giulio Canti
 * @public
 */
export declare function getMinMaxDistributiveLattice<A>(O: Ord<A>): DistributiveLattice<A>;
//# sourceMappingURL=DistributiveLattice.d.ts.map