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