class do_it : int -> object .. end
int ->
object
end
Visitor.generic_frama_c_visitor
val mutable current_function : Db_types.kernel_function option
Db_types.kernel_function option
method vfunc : Cil_types.fundec -> Cil_types.fundec Cil.visitAction
Cil_types.fundec -> Cil_types.fundec Cil.visitAction
method vstmt_aux : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
Cil_types.stmt -> Cil_types.stmt Cil.visitAction