@informalsystems/quint/dist/src/FreshVarGenerator.d.ts

Core tool for the Quint specification language

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