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