import { PiElement } from "../language";
export interface PiTyper {
    inferType(modelelement: PiElement): PiElement;
    equalsType(elem1: PiElement, elem2: PiElement): boolean;
    conformsTo(elem1: PiElement, elem2: PiElement): boolean;
    conformList(typelist1: PiElement[], typelist2: PiElement[]): boolean;
    isType(elem: PiElement): boolean;
}
//# sourceMappingURL=PiTyper.d.ts.map