import type { ArgumentEngine } from "../core/argument-engine.js";
import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable, TCoreClaim } from "../schemata/index.js";
/**
 * Run the AN rule set globally on `engine` if it is in `'assistive'`
 * behavior. No-op when the engine is in `'permissive'`.
 *
 * Convergence: typically ≤ 3 iterations because the rules are local and
 * idempotent in combination. Implementation routes through
 * `applyANToFixedPoint` in `src/lib/grammar/an-rules.ts`.
 *
 * @since 1.0.0
 */
export declare function runAssistiveNormalization<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim>(engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>): void;
//# sourceMappingURL=auto-normalize.d.ts.map