import { IRTerm } from "../../../../IR/IRTerm.js";
import { PLam, PInt } from "../../../PTypes/index.js";
import { Term } from "../../../Term/index.js";
import { PappArg } from "../../pappArg.js";
import { TermInt } from "../../std/index.js";
export type IntBinOPToInt = Term<PLam<PInt, PLam<PInt, PInt>>> & {
    $: (input: PappArg<PInt>) => Term<PLam<PInt, PInt>> & {
        $: (input: PappArg<PInt>) => TermInt;
    };
};
export declare function intBinOpToInt(builtin: IRTerm): IntBinOPToInt;