Ciltools.attribute_checker
inherit GoblintCil__.Cil.nopCilVisitor
method vtype : GoblintCil__.Cil.typ -> GoblintCil__.Cil.typ GoblintCil__.Cil.visitAction
method vattr : GoblintCil__.Cil.attribute -> GoblintCil__.Cil.attribute list GoblintCil__.Cil.visitAction