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