Module Printer


module Printer: sig .. end
This pretty printer prints the annotations from Db but not the one in the code. It contains mutable values and therefore must not be used to pretty print more than once a given object.
Consult the Plugin Development Guide for additional details.

class print : unit -> Cil.cilPrinter