export declare abstract class Type {
    /**
     * Checks whether `this` type is equal to `otherType`.
     * @param otherType A second type
     * @returns Returns true, if `this` type is equal to `otherType`, otherwise false.
     */
    abstract equals(otherType: Type): boolean;
    /**
     * Checks whether values of `this` type are assignable to variables of `otherType`.
     * @param otherType A second type
     * @returns Returns true, if values of `this` type are assignable to variables of `otherType`, otherwise false.
     */
    abstract isAssignableTo(otherType: Type): boolean;
    /**
     * @returns String representation of the type.
     */
    abstract toString(): string;
    /**
     * Shortcut to check whether `this` represents pseuCo's *int*-type.
     */
    get isIntType(): boolean;
    /**
     * Shortcut to check whether `this` represents pseuCo's *string*-type.
     */
    get isStringType(): boolean;
    /**
     * Shortcut to check whether `this` represents pseuCo's *bool*-type.
     */
    get isBoolType(): boolean;
    /**
     * Shortcut to check whether `this` represents pseuCo's *void*-type.
     */
    get isVoidType(): boolean;
    /**
     * Shortcut to check whether `this` represents pseuCo's *condition*-type.
     */
    get isConditionType(): boolean;
    /**
     * Shortcut to check whether `this` represents pseuCo's *lock*-type.
     */
    get isLockType(): boolean;
    /**
     * Shortcut to check whether `this` represents pseuCo's *agent*-type.
     */
    get isAgentType(): boolean;
    /**
     * Shortcut to check whether `this` represents pseuCo's array type.
     */
    get isArrayType(): boolean;
    /**
     * Shortcut to check whether `this` represents pseuCo's channel type.
     */
    get isChannelType(): boolean;
}