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