import { Box } from "./boxes";
import { PiElement } from "../language/PiModel";
export interface PiProjection {
    getBox(element: PiElement): Box;
    rootProjection: PiProjection;
    name: string;
}
//# sourceMappingURL=PiProjection.d.ts.map