Cilfacade.cleanCilPrinterClassVersion of defaultCilPrinterClass which excludes line directives and builtin signatures (in comments). Used for dbg.justcil-printer.
method pLineDirective : ?forcefile:bool ->
GoblintCil.location ->
GoblintCil__.Pretty.docmethod pGlobal : unit -> GoblintCil.global -> GoblintCil__.Pretty.doc