import { StepperVariableDeclarator } from './nodes/Statement/VariableDeclaration';
export declare function getFreshName(targetName: string[], protectedNames: string[]): string[];
export declare function assignMuTerms(declarations: StepperVariableDeclarator[]): StepperVariableDeclarator[];
export declare const customGenerator: any;
export declare function generate(node: any, options?: any): any;