mutable
callable =
Varinfo
.
Set
.empty