typir/lib/kinds/top/top-type.d.ts

General purpose type checking library

/******************************************************************************
 * Copyright 2024 TypeFox GmbH
 * This program and the accompanying materials are made available under the
 * terms of the MIT License, which is available in the project root.
 ******************************************************************************/
import { TypeGraphListener } from '../../graph/type-graph.js';
import { Type } from '../../graph/type-node.js';
import { TypirSpecifics } from '../../typir.js';
import { TypirProblem } from '../../utils/utils-definitions.js';
import { TopKind, TopTypeDetails } from './top-kind.js';
export declare class TopType extends Type implements TypeGraphListener {
    readonly kind: TopKind<TypirSpecifics>;
    constructor(kind: TopKind<TypirSpecifics>, identifier: string, typeDetails: TopTypeDetails<TypirSpecifics>);
    dispose(): void;
    onAddedType(type: Type, _key: string): void;
    getName(): string;
    getUserRepresentation(): string;
    analyzeTypeEqualityProblems(otherType: Type): TypirProblem[];
}
export declare function isTopType(type: unknown): type is TopType;
//# sourceMappingURL=top-type.d.ts.map