import type { Comment, Identifier, SourceLocation } from 'estree';
import type { StepperExpression, StepperPattern } from '..';
import { StepperBaseNode } from '../../interface';
import type { RedexInfo } from '../..';
export declare class StepperIdentifier extends StepperBaseNode<Identifier> implements Identifier {
    readonly name: string;
    constructor(name: string, leadingComments?: Comment[], trailingComments?: Comment[], loc?: SourceLocation | null, range?: [number, number]);
    static create(node: Identifier): StepperIdentifier;
    isContractible(): boolean;
    isOneStepPossible(): boolean;
    contract(): StepperIdentifier;
    oneStep(): StepperIdentifier;
    substitute(id: StepperPattern, value: StepperExpression, redex: RedexInfo): StepperExpression;
    freeNames(): string[];
    allNames(): string[];
    rename(before: string, after: string): StepperIdentifier;
}