import type { Ctx } from "../ctx/index.js";
import type { Mod } from "../mod/index.js";
import { type AlreadyType, type Value } from "../value/index.js";
export declare function assertTypeInCtx<Kind extends AlreadyType["@kind"]>(mod: Mod, ctx: Ctx, type: Value, kind: Kind): asserts type is Extract<Value, {
    "@kind": Kind;
}>;
//# sourceMappingURL=assertTypeInCtx.d.ts.map