class nopCilVisitor : <a href="Cil.cilVisitor.html">cilVisitor</a>
<a href="Cil.cilVisitor.html">cilVisitor</a>