class attribute_checker : string -> bool Pervasives.ref -> object .. end
string -> bool Pervasives.ref ->
object
end
Cil.nopCilVisitor
method vtype : Cil_types.typ -> Cil_types.typ Cil.visitAction
Cil_types.typ -> Cil_types.typ Cil.visitAction
method vattr : Cil_types.attribute -> Cil_types.attribute list Cil.visitAction
Cil_types.attribute -> Cil_types.attribute list Cil.visitAction