/**
 * Declaration type queries — typeOfDecl, typeOfValueRead, getFQNameOfDecl,
 * hasTypeParameters, isTypeDecl, isInterfaceDecl, isTypeAliasToObjectLiteral,
 * declHasTypeAnnotation.
 *
 * DAG position: depends on inference-utilities, inference-initializers,
 *               type-system-state
 */
import type { IrType } from "../types/index.js";
import type { DeclId } from "./types.js";
import type { TypeSystemState } from "./type-system-state.js";
export declare const typeOfDecl: (state: TypeSystemState, declId: DeclId) => IrType;
export declare const typeOfValueRead: (state: TypeSystemState, declId: DeclId) => IrType;
export declare const getFQNameOfDecl: (state: TypeSystemState, declId: DeclId) => string | undefined;
export declare const hasTypeParameters: (state: TypeSystemState, declId: DeclId) => boolean;
export declare const isTypeDecl: (state: TypeSystemState, declId: DeclId) => boolean;
export declare const isInterfaceDecl: (state: TypeSystemState, declId: DeclId) => boolean;
export declare const isTypeAliasToObjectLiteral: (state: TypeSystemState, declId: DeclId) => boolean;
export declare const declHasTypeAnnotation: (state: TypeSystemState, declId: DeclId) => boolean;
//# sourceMappingURL=inference-declarations-types.d.ts.map