class visit_decl_loops_init : unit -> object .. end
unit ->
object
end
Visitor.frama_c_inplace
method vstmt_aux : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
Cil_types.stmt -> Cil_types.stmt Cil.visitAction