Drasil
Drasil copied to clipboard
Names of `Set`s
The first name is probably better but we probably don't want to use the UID for printing. As @JacquesCarette mentioned in #3878 We have different ways of associating names to chunks, and we might want to use a different one here (UID was definitely wrong, symbol is better for sure, but maybe
shortname
would be better still)
Would it be better to use shortname
?