Class Cilfacade.cleanCilPrinterClass

Version of defaultCilPrinterClass which excludes line directives and builtin signatures (in comments). Used for dbg.justcil-printer.

inherit GoblintCil.defaultCilPrinterClass
method pLineDirective : cleanCilPrinterClass -> ?forcefile:bool -> GoblintCil.location -> GoblintCil__.Pretty.doc
method pGlobal : 'a -> unit -> GoblintCil.global -> GoblintCil__.Pretty.doc