type 'a visit_action = | SkipChildrenDo not visit the children. Return the node as it is.
*)| DoChildrenContinue with the children of this node. Rebuild the node on return if any of the children changes (use == test)
*)| ChangeTo of 'aReplace the expression with the given one
*)| ChangeDoChildrenPost of 'a * 'a -> 'aFirst consider that the entire exp is replaced by the first parameter. Then continue with the children. On return rebuild the node if any of the children has changed and then apply the function on the node
*)val do_visit : 'v -> 'a visit_action -> ('v -> 'a -> 'a) -> 'a -> 'aval change_do_children : 'a -> 'a visit_actionclass type common_visitor = object ... endclass type jib_visitor = object ... endclass empty_jib_visitor : jib_visitorval visit_name : common_visitor -> Jib.name -> Jib.nameval visit_ctyp : common_visitor -> Jib.ctyp -> Jib.ctypval visit_cval : jib_visitor -> Jib.cval -> Jib.cvalval visit_clexp : jib_visitor -> Jib.clexp -> Jib.clexpval visit_instr : jib_visitor -> Jib.instr -> Jib.instrval visit_instrs : jib_visitor -> Jib.instr list -> Jib.instr listval visit_cdef : jib_visitor -> Jib.cdef -> Jib.cdefval visit_cdefs : jib_visitor -> Jib.cdef list -> Jib.cdef list