import { AgencyConfig } from "../config.js";
import type { FileSymbols, InterruptEffect } from "../symbolTable.js";
export declare function uniqueInterruptEffects(fileSymbols: FileSymbols | undefined, interruptEffectsByFunction: Record<string, InterruptEffect[]>): string[];
export declare function policyGen(config: AgencyConfig, file: string, options: {
    output?: string;
    existing?: string;
}): void;