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 : ?forcefile:bool ->
  GoblintCil.location ->
  GoblintCil__.Pretty.doc

method pGlobal : unit -> GoblintCil.global -> GoblintCil__.Pretty.doc