/**
 * TypeAuthority — Single Source of Truth for All Type Queries
 *
 * ALICE'S SPEC (Phase 5): This is the ONLY public API for type operations.
 * The public module is structurally incapable of supporting a parallel type system.
 *
 * INVARIANT: No ts.Type, ts.Symbol, or computed type APIs appear in this layer.
 * INVARIANT: No raw structures (TypeNodes, declarations, registries) are exported.
 * INVARIANT: All type information flows through semantic methods only.
 *
 * The Binding layer handles TS symbol resolution and produces opaque handles
 * (DeclId, SignatureId, MemberId, TypeSyntaxId) that cross into this layer.
 */
import type { DeclId, SignatureId, MemberId, TypeSyntaxId, TypeResult, SignatureResult, MemberResult, PropertyInit, SyntaxPosition, TypeSubstitution, UtilityTypeName, ParameterMode } from "./types.js";
export type { DeclId, SignatureId, MemberId, TypeSyntaxId };
export type { TypeId } from "./internal/universe/types.js";
export type { TypeResult, SignatureResult, MemberResult, PropertyInit, SyntaxPosition, TypeSubstitution, UtilityTypeName, ParameterMode, };
export type { TypeAuthority, MemberRef, CallQuery, ResolvedCall, Site, } from "./type-system.js";
export { makeDeclId, makeSignatureId, makeMemberId, makeTypeSyntaxId, typeOk, typeError, signatureOk, unknownType, neverType, voidType, anyType, } from "./types.js";
export { BUILTIN_NOMINALS, poisonedCall, createTypeSystem, } from "./type-system.js";
//# sourceMappingURL=index.d.ts.map