import { type AstNode } from '../check/flow-step-site.js';
/** The construct that makes a call site traversed more than once. */
export type BranchKind = 'loop' | 'iteration-method' | 'fan-out' | 'recursion';
/** One located call to the target symbol, with its traversal context. */
export interface CallSite {
    /** 1-based file line of the call. */
    readonly line: number;
    /** The branching construct enclosing the call, or `null` when the call is linear. */
    readonly branchKind: BranchKind | null;
}
/** Every call to `target` inside `body`, each tagged with its traversal context. */
export declare function findCallSites(body: AstNode, ownName: string, target: string): CallSite[];
//# sourceMappingURL=branch-context.d.ts.map