import type { Diagnostic } from "../../types/diagnostic.js";
import type { IrType } from "../types/index.js";
import type { ResolvedCall } from "./type-system-state-call-types.js";
export declare const BUILTIN_NOMINALS: Readonly<Record<string, string>>;
export declare const poisonedCall: (arity: number, diagnostics: readonly Diagnostic[]) => ResolvedCall;
export type NominalLookupResult = {
    readonly targetNominal: string;
    readonly memberType: IrType;
    readonly substitution: ReadonlyMap<string, IrType>;
};
//# sourceMappingURL=type-system-state-registry-types.d.ts.map