/**
 * Numeric Proof Analysis - Type inference, guard fact collection, and literal proofs
 *
 * FACADE: re-exports from numeric-proof-guard-facts and numeric-proof-inference.
 */
export { moduleLocation, cloneProofContext, withInt32ProofsFromTruthyCondition, } from "./numeric-proof-guard-facts.js";
export { getNumericKindFromType, inferNumericKind, proveLiteral, } from "./numeric-proof-inference.js";
//# sourceMappingURL=numeric-proof-analysis.js.map