import type { InterruptEffect } from "../symbolTable.js";
import type { TypeCheckerContext } from "./types.js";
/**
 * For every function/node that declares a `raises` clause, verify that its
 * transitively-inferred effect set does not exceed the declared set
 * (inferred ⊆ declared). Emits a bespoke, effect-aware error per offending
 * effect. Also reports a `raises` clause that references a known type alias
 * which is not an effect set.
 *
 * Compares a declaration to an inferred set; raising inside handler
 * bodies is legal (the retired AG3010 once flagged it).
 *
 * IMPORTANT: do not suggest "handle it inside the function" as a fix.
 * Under Agency's handler-chain semantics every handler in the stack runs,
 * so a locally-handled interrupt is still observed by ancestor handlers
 * and remains part of the function's effect set (spec decision A).
 */
export declare function checkRaisesDeclarations(interruptEffectsByFunction: Record<string, InterruptEffect[]>, ctx: TypeCheckerContext): void;