mutable
must_add_decl =
Varinfo
.
Set
.empty