class check_annot_visitor :object
..end
val mutable to_be_removed : Cil_types.code_annotation list
method get_to_be_removed : unit -> Cil_types.code_annotation list
method vcode_annot : Cil_types.code_annotation -> Cil_types.code_annotation Cil.visitAction
method vglob_aux : Cil_types.global -> Cil_types.global list Cil.visitAction
method vexpr : Cil_types.exp -> Cil_types.exp Cil.visitAction