import type { Line } from "../../../node/cst/line";
import type { WithErrorRule } from "../util";
import type * as std from "../../../law/std";
export declare const arithFormulaControl = ":arith-formula:";
/**
 * The renderer for {@link std.ArithFormula}. Please see the source code for the detailed syntax, and the [test code](https://github.com/yamachig/Lawtext/blob/main/core/src/parser/std/rules/$arithFormula.spec.ts) for examples.
 */
export declare const arithFormulaToLines: (arithFormula: std.ArithFormula, indentTexts: string[]) => Line[];
/**
 * The parser rule for {@link std.ArithFormula}. Please see the source code for the detailed syntax, and the [test code](https://github.com/yamachig/Lawtext/blob/main/core/src/parser/std/rules/$arithFormula.spec.ts) for examples.
 */
export declare const $arithFormula: WithErrorRule<std.ArithFormula>;
export default $arithFormula;