module LinkPrinter: Printer.PrinterExtension
Printer.PrinterExtension
Special pretty-printer that outputs tags link:vidN around varinfos, and link:typN around types.
link:vidN
link:typN