Interface Ty

interface Ty {
    get isConst(): boolean;
    get jp(): Joinpoint;
    get regionVars(): Region[];
    get semantics(): Semantics;
    toString(): string;
}