Previous
Up
Next
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