import { CrochetType } from "../primitives";
import { State } from "../vm";
export declare abstract class Type {
    abstract realise(state: State): CrochetType;
    abstract static_name: string;
}
export declare class TAny extends Type {
    realise(state: State): CrochetType;
    get static_name(): string;
}
export declare class TNamed extends Type {
    readonly name: string;
    constructor(name: string);
    realise(state: State): CrochetType;
    get static_name(): string;
}
export declare class TStatic extends Type {
    readonly type: Type;
    constructor(type: Type);
    realise(state: State): CrochetType;
    get static_name(): string;
}