class rm_annot_visitor : Cil_types.code_annotation list -> object .. end
Cil_types.code_annotation list ->
object
end
check_asserts
assert true;
Visitor.frama_c_inplace
method vcode_annot : Cil_types.code_annotation -> Cil_types.code_annotation Cil.visitAction
Cil_types.code_annotation -> Cil_types.code_annotation Cil.visitAction