Module Gui_printers.LinkPrinter

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