import type { Comment, FunctionDeclaration, SourceLocation } from 'estree';
import { type StepperExpression, type StepperPattern, undefinedNode } from '..';
import { StepperBaseNode } from '../../interface';
import { StepperArrowFunctionExpression } from '../Expression/ArrowFunctionExpression';
import type { StepperIdentifier } from '../Expression/Identifier';
import type { RedexInfo } from '../..';
import type { StepperBlockStatement } from './BlockStatement';
export declare class StepperFunctionDeclaration extends StepperBaseNode<FunctionDeclaration> implements FunctionDeclaration {
    readonly id: StepperIdentifier;
    readonly body: StepperBlockStatement;
    readonly params: StepperPattern[];
    readonly generator?: boolean | undefined;
    readonly async?: boolean | undefined;
    constructor(id: StepperIdentifier, body: StepperBlockStatement, params: StepperPattern[], generator?: boolean | undefined, async?: boolean | undefined, leadingComments?: Comment[] | undefined, trailingComments?: Comment[] | undefined, loc?: SourceLocation | null | undefined, range?: [number, number] | undefined);
    static create(node: FunctionDeclaration): StepperFunctionDeclaration;
    isContractible(): boolean;
    isOneStepPossible(): boolean;
    getArrowFunctionExpression(): StepperArrowFunctionExpression;
    contract(redex: RedexInfo): typeof undefinedNode;
    contractEmpty(redex: RedexInfo): void;
    oneStep(redex: RedexInfo): typeof undefinedNode;
    scanAllDeclarationNames(): string[];
    substitute(id: StepperPattern, value: StepperExpression, redex: RedexInfo, upperBoundName?: string[]): StepperBaseNode;
    freeNames(): string[];
    allNames(): string[];
    rename(before: string, after: string): StepperFunctionDeclaration;
}