Class Cil.genericCilVisitor

class genericCilVisitor : Visitor_behavior.t -> cilVisitor

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