import { type Expr } from "../../expr";
export type { EffectAnalysisResult, EffectCallPoint, EffectCapturedVariable, } from "./effect-analysis-types";
import type { Type } from "../../types/definitions";
import type { EffectAnalysisResult } from "./effect-analysis-types";
export declare function analyzeEffectCallPoints(body: Expr, effectParameterName: string, effectParameterType: Type, includeTransitiveCalls?: boolean, effectFieldPath?: string[]): EffectAnalysisResult;
