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