class annot_visitor :filter:(Cil_types.code_annotation -> bool) -> Db.Pdg.t ->
object
..end
val mutable to_select : (bool * BoolMark.prop_mode) PdgMarks.select
method get_select : (bool * BoolMark.prop_mode) PdgMarks.select
method vcode_annot : Cil_types.code_annotation -> Cil_types.code_annotation Cil.visitAction