package goblint

You can search for identifiers within the package.

in-package search v0.2.0

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

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