/**
 * Generation of fresh variables with a given prefix.
 *
 * @author Gabriela Moreira
 *
 * @module
 */
export declare class FreshVarGenerator {
    private freshVarCounters;
    freshVar(prefix: string): string;
}