Frama-C API - `LinkPrinter`

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

Parameters

module _ : Frama_c_kernel.Printer.PrinterClass

Signature

class printer : Frama_c_kernel.Printer_api.extensible_printer_type