Class Eval_annots.contains_c_at

class contains_c_at : object .. end
Inherits
method vterm : Cil_types.term -> Cil_types.term Cil.visitAction