sig
  class type frama_c_visitor =
    object
      method behavior : Cil.visitor_behavior
      method current_func : Cil_types.fundec option
      method current_kf : Cil_types.kernel_function option
      method current_kinstr : Cil_types.kinstr
      method current_stmt : Cil_types.stmt option
      method fill_global_tables : unit
      method frama_c_plain_copy : Visitor.frama_c_visitor
      method get_filling_actions : (unit -> unit) Queue.t
      method plain_copy_visitor : Cil.cilVisitor
      method pop_stmt : Cil_types.stmt -> unit
      method project : Project.t option
      method push_stmt : Cil_types.stmt -> unit
      method queueInstr : Cil_types.instr list -> unit
      method reset_current_func : unit -> unit
      method reset_current_kf : unit -> unit
      method set_current_func : Cil_types.fundec -> unit
      method set_current_kf : Cil_types.kernel_function -> unit
      method unqueueInstr : unit -> Cil_types.instr list
      method vallocates :
        Cil_types.identified_term list ->
        Cil_types.identified_term list Cil.visitAction
      method vallocation :
        Cil_types.allocation -> Cil_types.allocation Cil.visitAction
      method vannotation :
        Cil_types.global_annotation ->
        Cil_types.global_annotation Cil.visitAction
      method vassigns :
        Cil_types.assigns -> Cil_types.assigns Cil.visitAction
      method vattr :
        Cil_types.attribute -> Cil_types.attribute list Cil.visitAction
      method vattrparam :
        Cil_types.attrparam -> Cil_types.attrparam Cil.visitAction
      method vbehavior :
        Cil_types.funbehavior -> Cil_types.funbehavior Cil.visitAction
      method vblock : Cil_types.block -> Cil_types.block Cil.visitAction
      method vcode_annot :
        Cil_types.code_annotation ->
        Cil_types.code_annotation Cil.visitAction
      method vcompinfo :
        Cil_types.compinfo -> Cil_types.compinfo Cil.visitAction
      method vdeps : Cil_types.deps -> Cil_types.deps Cil.visitAction
      method venuminfo :
        Cil_types.enuminfo -> Cil_types.enuminfo Cil.visitAction
      method venumitem :
        Cil_types.enumitem -> Cil_types.enumitem Cil.visitAction
      method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction
      method vfieldinfo :
        Cil_types.fieldinfo -> Cil_types.fieldinfo Cil.visitAction
      method vfile : Cil_types.file -> Cil_types.file Cil.visitAction
      method vfrees :
        Cil_types.identified_term list ->
        Cil_types.identified_term list Cil.visitAction
      method vfrom : Cil_types.from -> Cil_types.from Cil.visitAction
      method vfunc : Cil_types.fundec -> Cil_types.fundec Cil.visitAction
      method vglob :
        Cil_types.global -> Cil_types.global list Cil.visitAction
      method vglob_aux :
        Cil_types.global -> Cil_types.global list Cil.visitAction
      method videntified_predicate :
        Cil_types.identified_predicate ->
        Cil_types.identified_predicate Cil.visitAction
      method videntified_term :
        Cil_types.identified_term ->
        Cil_types.identified_term Cil.visitAction
      method vimpact_pragma :
        Cil_types.impact_pragma -> Cil_types.impact_pragma Cil.visitAction
      method vinit :
        Cil_types.varinfo ->
        Cil_types.offset -> Cil_types.init -> Cil_types.init Cil.visitAction
      method vinitoffs : Cil_types.offset -> Cil_types.offset Cil.visitAction
      method vinst : Cil_types.instr -> Cil_types.instr list Cil.visitAction
      method vlocal_init :
        Cil_types.varinfo ->
        Cil_types.local_init -> Cil_types.local_init Cil.visitAction
      method vlogic_ctor_info_decl :
        Cil_types.logic_ctor_info ->
        Cil_types.logic_ctor_info Cil.visitAction
      method vlogic_ctor_info_use :
        Cil_types.logic_ctor_info ->
        Cil_types.logic_ctor_info Cil.visitAction
      method vlogic_info_decl :
        Cil_types.logic_info -> Cil_types.logic_info Cil.visitAction
      method vlogic_info_use :
        Cil_types.logic_info -> Cil_types.logic_info Cil.visitAction
      method vlogic_label :
        Cil_types.logic_label -> Cil_types.logic_label Cil.visitAction
      method vlogic_type :
        Cil_types.logic_type -> Cil_types.logic_type Cil.visitAction
      method vlogic_type_def :
        Cil_types.logic_type_def -> Cil_types.logic_type_def Cil.visitAction
      method vlogic_type_info_decl :
        Cil_types.logic_type_info ->
        Cil_types.logic_type_info Cil.visitAction
      method vlogic_type_info_use :
        Cil_types.logic_type_info ->
        Cil_types.logic_type_info Cil.visitAction
      method vlogic_var_decl :
        Cil_types.logic_var -> Cil_types.logic_var Cil.visitAction
      method vlogic_var_use :
        Cil_types.logic_var -> Cil_types.logic_var Cil.visitAction
      method vloop_pragma :
        Cil_types.loop_pragma -> Cil_types.loop_pragma Cil.visitAction
      method vlval : Cil_types.lval -> Cil_types.lval Cil.visitAction
      method vmodel_info :
        Cil_types.model_info -> Cil_types.model_info Cil.visitAction
      method voffs : Cil_types.offset -> Cil_types.offset Cil.visitAction
      method vpredicate :
        Cil_types.predicate -> Cil_types.predicate Cil.visitAction
      method vpredicate_node :
        Cil_types.predicate_node -> Cil_types.predicate_node Cil.visitAction
      method vquantifiers :
        Cil_types.quantifiers -> Cil_types.quantifiers Cil.visitAction
      method vslice_pragma :
        Cil_types.slice_pragma -> Cil_types.slice_pragma Cil.visitAction
      method vspec : Cil_types.funspec -> Cil_types.funspec Cil.visitAction
      method vstmt : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
      method vstmt_aux : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
      method vterm : Cil_types.term -> Cil_types.term Cil.visitAction
      method vterm_lhost :
        Cil_types.term_lhost -> Cil_types.term_lhost Cil.visitAction
      method vterm_lval :
        Cil_types.term_lval -> Cil_types.term_lval Cil.visitAction
      method vterm_node :
        Cil_types.term_node -> Cil_types.term_node Cil.visitAction
      method vterm_offset :
        Cil_types.term_offset -> Cil_types.term_offset Cil.visitAction
      method vtype : Cil_types.typ -> Cil_types.typ Cil.visitAction
      method vvdec : Cil_types.varinfo -> Cil_types.varinfo Cil.visitAction
      method vvrbl : Cil_types.varinfo -> Cil_types.varinfo Cil.visitAction
    end
  class frama_c_inplace : frama_c_visitor
  class frama_c_copy : Project.t -> frama_c_visitor
  class frama_c_refresh : Project.t -> frama_c_visitor
  class generic_frama_c_visitor : Cil.visitor_behavior -> frama_c_visitor
  val visitFramacFileCopy :
    Visitor.frama_c_visitor -> Cil_types.file -> Cil_types.file
  val visitFramacFile : Visitor.frama_c_visitor -> Cil_types.file -> unit
  val visitFramacFileSameGlobals :
    Visitor.frama_c_visitor -> Cil_types.file -> unit
  val visitFramacGlobal :
    Visitor.frama_c_visitor -> Cil_types.global -> Cil_types.global list
  val visitFramacKf :
    Visitor.frama_c_visitor -> Kernel_function.t -> Kernel_function.t
  val visitFramacFunction :
    Visitor.frama_c_visitor -> Cil_types.fundec -> Cil_types.fundec
  val visitFramacExpr :
    Visitor.frama_c_visitor -> Cil_types.exp -> Cil_types.exp
  val visitFramacLval :
    Visitor.frama_c_visitor -> Cil_types.lval -> Cil_types.lval
  val visitFramacOffset :
    Visitor.frama_c_visitor -> Cil_types.offset -> Cil_types.offset
  val visitFramacInitOffset :
    Visitor.frama_c_visitor -> Cil_types.offset -> Cil_types.offset
  val visitFramacInstr :
    Visitor.frama_c_visitor -> Cil_types.instr -> Cil_types.instr list
  val visitFramacStmt :
    Visitor.frama_c_visitor -> Cil_types.stmt -> Cil_types.stmt
  val visitFramacBlock :
    Visitor.frama_c_visitor -> Cil_types.block -> Cil_types.block
  val visitFramacType :
    Visitor.frama_c_visitor -> Cil_types.typ -> Cil_types.typ
  val visitFramacVarDecl :
    Visitor.frama_c_visitor -> Cil_types.varinfo -> Cil_types.varinfo
  val visitFramacLogicVarDecl :
    Visitor.frama_c_visitor -> Cil_types.logic_var -> Cil_types.logic_var
  val visitFramacInit :
    Visitor.frama_c_visitor ->
    Cil_types.varinfo -> Cil_types.offset -> Cil_types.init -> Cil_types.init
  val visitFramacAttributes :
    Visitor.frama_c_visitor ->
    Cil_types.attribute list -> Cil_types.attribute list
  val visitFramacAnnotation :
    Visitor.frama_c_visitor ->
    Cil_types.global_annotation -> Cil_types.global_annotation
  val visitFramacCodeAnnotation :
    Visitor.frama_c_visitor ->
    Cil_types.code_annotation -> Cil_types.code_annotation
  val visitFramacAllocation :
    Visitor.frama_c_visitor -> Cil_types.allocation -> Cil_types.allocation
  val visitFramacAssigns :
    Visitor.frama_c_visitor -> Cil_types.assigns -> Cil_types.assigns
  val visitFramacFrom :
    Visitor.frama_c_visitor -> Cil_types.from -> Cil_types.from
  val visitFramacDeps :
    Visitor.frama_c_visitor -> Cil_types.deps -> Cil_types.deps
  val visitFramacFunspec :
    Visitor.frama_c_visitor -> Cil_types.funspec -> Cil_types.funspec
  val visitFramacLogicType :
    Visitor.frama_c_visitor -> Cil_types.logic_type -> Cil_types.logic_type
  val visitFramacPredicateNode :
    Visitor.frama_c_visitor ->
    Cil_types.predicate_node -> Cil_types.predicate_node
  val visitFramacPredicate :
    Visitor.frama_c_visitor -> Cil_types.predicate -> Cil_types.predicate
  val visitFramacIdPredicate :
    Visitor.frama_c_visitor ->
    Cil_types.identified_predicate -> Cil_types.identified_predicate
  val visitFramacPredicates :
    Visitor.frama_c_visitor ->
    Cil_types.identified_predicate list ->
    Cil_types.identified_predicate list
  val visitFramacIdTerm :
    Visitor.frama_c_visitor ->
    Cil_types.identified_term -> Cil_types.identified_term
  val visitFramacTerm :
    Visitor.frama_c_visitor -> Cil_types.term -> Cil_types.term
  val visitFramacTermLval :
    Visitor.frama_c_visitor -> Cil_types.term_lval -> Cil_types.term_lval
  val visitFramacTermLhost :
    Visitor.frama_c_visitor -> Cil_types.term_lhost -> Cil_types.term_lhost
  val visitFramacTermOffset :
    Visitor.frama_c_visitor -> Cil_types.term_offset -> Cil_types.term_offset
  val visitFramacLogicInfo :
    Visitor.frama_c_visitor -> Cil_types.logic_info -> Cil_types.logic_info
  val visitFramacBehavior :
    Visitor.frama_c_visitor -> Cil_types.funbehavior -> Cil_types.funbehavior
  val visitFramacBehaviors :
    Visitor.frama_c_visitor ->
    Cil_types.funbehavior list -> Cil_types.funbehavior list
  val visitFramacModelInfo :
    Visitor.frama_c_visitor -> Cil_types.model_info -> Cil_types.model_info
  val visitFramacExtended :
    Visitor.frama_c_visitor ->
    Cil_types.acsl_extension -> Cil_types.acsl_extension
end