import type { Core } from "../core/index.js";
import type { Ctx } from "../ctx/index.js";
import type { Exp } from "../exp/index.js";
import type { Mod } from "../mod/index.js";
import type { Value } from "../value/index.js";
export declare function checkByInfer(mod: Mod, ctx: Ctx, exp: Exp, type: Value): Core;
//# sourceMappingURL=checkByInfer.d.ts.map