import { SynthesizedStack } from "./synth-stack";
/**
 * prints annotations via console
 * @throws Error if an Annotation with level === ERROR has been encountered
 */
export declare function printAnnotations(stacks: SynthesizedStack[]): void;
//# sourceMappingURL=synth.d.ts.map