/**
 * A `BoundedDistributiveLattice` is a lattice that is both bounded and distributive
 *
 * @remarks
 * Added in 1.0.0
 * @packageDocumentation
 */
import { type BoundedLattice } from "./BoundedLattice.js";
import { type DistributiveLattice } from "./DistributiveLattice.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 BoundedDistributiveLattice<A> extends BoundedLattice<A>, DistributiveLattice<A> {
}
/**
 * @remarks
 * Added in 1.0.0
 * @remarks
 * Category: Constructors
 * @remarks
 * Original License: MIT – Copyright (c) 2017-present Giulio Canti
 * @public
 */
export declare function getMinMaxBoundedDistributiveLattice<A>(O: Ord<A>): (min: A, max: A) => BoundedDistributiveLattice<A>;
//# sourceMappingURL=BoundedDistributiveLattice.d.ts.map