Class LoopUnrolling.arrayVisitor

inherit GoblintCil.nopCilVisitor
method vvrbl : GoblintCil.varinfo -> GoblintCil.varinfo GoblintCil.visitAction