import type { FunctionDef } from "../ast/nodes.js";
/**
 * Compute a structural verification hash for a function definition.
 *
 * The hash covers params, contracts, body, returnType, and effects —
 * everything that affects verification semantics.  Node `id` fields are
 * stripped so cosmetically different IDs produce the same hash.
 *
 * @param fn   The function to hash.
 * @param deps Map of callee functions that have preconditions (transitive
 *             dependencies).  Their structural hashes are incorporated so
 *             that a callee contract change invalidates the caller cache.
 */
export declare function computeVerificationHash(fn: FunctionDef, deps: Map<string, FunctionDef>): string;
//# sourceMappingURL=hash.d.ts.map