InvariantCil.exp_contains_anon_type_visitor
inherit GoblintCil.nopCilVisitor
method vtype : GoblintCil.typ -> GoblintCil.typ GoblintCil.visitAction