/**
 * IR Validation exports
 */
export { validateIrSoundness, } from "./soundness-gate.js";
export { runNumericProofPass, } from "./numeric-proof-pass.js";
export { runNumericCoercionPass, } from "./numeric-coercion-pass.js";
export { runYieldLoweringPass, } from "./yield-lowering-pass.js";
export { runAttributeCollectionPass, } from "./attribute-collection-pass.js";
export { runOverloadCollectionPass, } from "./overload-collection-pass.js";
export { runOverloadFamilyConsistencyPass, } from "./overload-family-consistency-pass.js";
export { runAnonymousTypeLoweringPass, } from "./anonymous-type-lowering-pass.js";
export { runRestTypeSynthesisPass, } from "./rest-type-synthesis-pass.js";
export { runArrowReturnFinalizationPass, } from "./arrow-return-finalization-pass.js";
export { runCallResolutionRefreshPass, } from "./call-resolution-refresh-pass.js";
export { runVirtualMarkingPass, } from "./virtual-marking-pass.js";
//# sourceMappingURL=index.js.map