BasicPrinter      150 src/runtime/printer.h             } else if (type == BasicPrinter) {
BasicPrinter      174 src/runtime/printer.h typedef Printer<BasicPrinter> print;
BasicPrinter      179 src/runtime/printer.h typedef Printer<BasicPrinter> debug;