import * as RF from '#typeclass/RightFoldable';
import type { BuildParameterized } from './given.js';
/**
 * Typeclass laws for `RightFoldable`.
 * @category typeclass laws
 */
export declare const rightFoldableLaws: BuildParameterized<RF.RightFoldableTypeLambda>;
declare module './given.js' {
    interface ParameterizedLambdas {
        RightFoldable: RF.RightFoldableTypeLambda;
    }
}
//# sourceMappingURL=RightFoldable.d.ts.map