Class Cil.genericCilVisitor

class genericCilVisitor : visitor_behavior -> cilVisitor

generic visitor, parameterized by its copying behavior. Traverses the CIL tree without modifying anything