Up – Package index » goblint-cil » Library goblint-cil.zrapp » Zrapp

Module `Zrapp`Source

Sourceval debug : bool ref

Sourceval doElimTemps : bool ref

Sourceval deputyAttrs : bool ref

Sourceclass zraCilPrinterClass : GoblintCil.Cil.cilPrinter

Sourceval zraCilPrinter : GoblintCil.Cil.cilPrinter

val pp_exp : 
  GoblintCil.Cil.fundec ->
  unit ->
  GoblintCil.Cil.exp ->
  GoblintCil.Pretty.doc

Sourceval feature : GoblintCil.Feature.t