import { Expression } from "./Expression";
export declare class TypeExpression extends Expression {
    get sortOrder(): number;
    proposition: Expression;
    constructor(proposition: Expression);
    compareSortOrderSameType(b: TypeExpression): number;
    toStringInternal(): string;
}