import type { Expression } from "../types.js";
import type { InterruptEffect } from "../symbolTable.js";
import type { ScopeInfo, TypeCheckerContext } from "./types.js";
/** The effects a function-valued expression may raise. `any` means "may raise
 *  anything" — a function type with no `raises` clause. `sourceName` is the base
 *  function's name when known, for the diagnostic. */
export type FnEffects = {
    any: boolean;
    labels: string[];
    sourceName?: string;
};
type EffectMap = Record<string, InterruptEffect[]>;
export declare function functionValueEffects(expr: Expression, info: ScopeInfo, effects: EffectMap, ctx: TypeCheckerContext): FnEffects;
export {};