import type { ResolvedMachineDef } from "../core/dsl.js";
export declare const generateTlaModule: (machine: ResolvedMachineDef) => string;
export declare const generateCfg: (machine: ResolvedMachineDef, options?: {
    includeSymmetry?: boolean;
    specification?: string;
    stringifyModelValues?: boolean;
}) => string;
export interface GeneratedPaths {
    outputDir: string;
    tlaPath: string;
    cfgPath: string;
    actionLabelsPath: string;
}
export declare const writeGeneratedMachine: (machine: ResolvedMachineDef, outputRoot: string) => Promise<GeneratedPaths>;