import { StepperVariableDeclarator } from './nodes/Statement/VariableDeclaration';
export declare function getFreshName(targetName: string[], protectedNames: string[]): string[];
export declare function assignMuTerms(declarations: StepperVariableDeclarator[]): StepperVariableDeclarator[];