import type { Comment, SimpleCallExpression, SourceLocation } from 'estree';
import type { StepperExpression, StepperPattern } from '..';
import type { StepperBaseNode } from '../../interface';
import { StepperBlockExpression } from './BlockExpression';
export declare class StepperFunctionApplication implements SimpleCallExpression, StepperBaseNode {
    type: 'CallExpression';
    callee: StepperExpression;
    arguments: StepperExpression[];
    optional: boolean;
    leadingComments?: Comment[];
    trailingComments?: Comment[];
    loc?: SourceLocation | null;
    range?: [number, number];
    constructor(callee: StepperExpression, args: StepperExpression[], optional?: boolean, leadingComments?: Comment[], trailingComments?: Comment[], loc?: SourceLocation | null, range?: [number, number]);
    static create(node: SimpleCallExpression): StepperFunctionApplication;
    isContractible(): boolean;
    isOneStepPossible(): boolean;
    contract(): StepperExpression | StepperBlockExpression;
    oneStep(): StepperExpression;
    substitute(id: StepperPattern, value: StepperExpression): StepperExpression;
    freeNames(): string[];
    allNames(): string[];
    rename(before: string, after: string): StepperExpression;
}