class genericCilVisitor : Visitor_behavior.t -> cilVisitor
Visitor_behavior.t ->
cilVisitor
generic visitor, parameterized by its copying behavior. Traverses the CIL tree without modifying anything