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