object
  method vEnterScope : unit -> unit
  method vExitScope : unit -> unit
  method vattr : Cabs.attribute -> Cabs.attribute list Cil.visitAction
  method vblock : Cabs.block -> Cabs.block Cil.visitAction
  method vdecltype : Cabs.decl_type -> Cabs.decl_type Cil.visitAction
  method vdef : Cabs.definition -> Cabs.definition list Cil.visitAction
  method vexpr : Cabs.expression -> Cabs.expression Cil.visitAction
  method vinitexpr :
    Cabs.init_expression -> Cabs.init_expression Cil.visitAction
  method vname :
    Cabsvisit.nameKind ->
    Cabs.specifier -> Cabs.name -> Cabs.name Cil.visitAction
  method vspec : Cabs.specifier -> Cabs.specifier Cil.visitAction
  method vstmt : Cabs.statement -> Cabs.statement list Cil.visitAction
  method vtypespec : Cabs.typeSpecifier -> Cabs.typeSpecifier Cil.visitAction
  method vvar : string -> string
end