class visit_computing_ignored_functions : unit -> object .. end
unit ->
object
end
Visitor.frama_c_inplace
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