Zrapp (goblint-cil.Zrapp)

val debug : bool Stdlib.ref

val doElimTemps : bool Stdlib.ref

val deputyAttrs : bool Stdlib.ref

class zraCilPrinterClass : GoblintCil.Cil.cilPrinter

val zraCilPrinter : GoblintCil.Cil.cilPrinter

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

val feature : GoblintCil.Feature.t