class filter_visitor : Project.t -> object .. end
Project.t ->
object
end
Visitor.generic_frama_c_visitor
method vglob_aux : Cil_types.global -> Cil_types.global list Cil.visitAction
Cil_types.global -> Cil_types.global list Cil.visitAction