Class Ciltools.vidVisitorSource

inherit GoblintCil__.Cil.nopCilVisitor
val count : int ref
method vvdec : GoblintCil__.Cil.varinfo -> GoblintCil__.Cil.varinfo GoblintCil__.Cil.visitAction