-
Notifications
You must be signed in to change notification settings - Fork 26
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Names of Set
s
#3933
Comments
Sorry, can you please explain a bit more @NoahCardoso ? |
Basically, we originally had the variable that stores a set "set_+ |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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
?The text was updated successfully, but these errors were encountered: