Module Gui_printers.LinkPrinter

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

Parameters

Signature