/**
 * A `BoundedDistributiveLattice` is a lattice that is both bounded and distributive
 *
 * @since 1.0.0
 */
import type { BoundedLattice } from './BoundedLattice'
import type { DistributiveLattice } from './DistributiveLattice'

/**
 * @category Type Classes
 * @since 1.0.0
 */
export interface BoundedDistributiveLattice<A> extends BoundedLattice<A>, DistributiveLattice<A> {}