import { type Expr, type NodeId } from "../expr.js";
import { type Rule } from "../rule.js";
export interface CombineIntegersParams {
    /** Direct children of the Sum at `location`; integer literals (possibly negated). */
    readonly termA: NodeId;
    readonly termB: NodeId;
}
/** Literal value of an Integer or Neg(Integer) term, else undefined. */
export declare function literalValue(e: Expr): bigint | undefined;
/**
 * Two integer literal terms in a Sum fold into one:
 *   x + 2 + 3  ~>  x + 5        x + 2 + (-3)  ~>  x + (-1)
 */
export declare const combineIntegers: Rule<CombineIntegersParams>;
//# sourceMappingURL=combineIntegers.d.ts.map