import type { BoundedTypeLambda } from '@effect/typeclass/Bounded';
import type { BuildConcrete } from './given.js';
/**
 * Build typeclass laws for `Bounded`.
 * @category typeclass laws
 */
export declare const boundedLaws: BuildConcrete<BoundedTypeLambda>;
declare module './given.js' {
    interface ConcreteLambdas {
        Bounded: BoundedTypeLambda;
    }
}
//# sourceMappingURL=Bounded.d.ts.map