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";
export declare function checkType(mod: Mod, ctx: Ctx, type: Exp): Core;
//# sourceMappingURL=checkType.d.ts.map