Gui_printers.LinkPrinter
Special pretty-printer that outputs tags link:vidN around varinfos, and link:typN around types.
link:vidN
link:typN
module X : Frama_c_kernel.Printer.PrinterClass
class printer : Frama_c_kernel.Printer_api.extensible_printer_type