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.

Sign up for GitHub

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

Jump to bottom

Rename `UU` to `Type` #1067

Open

3 tasks

fredrik-bakke opened this issue Mar 12, 2024 · 0 comments

Labels

Milestone

Collaborator

fredrik-bakke commented Mar 12, 2024 •

edited

Goals

Change definition names that use UU to use Type
Rename UU to Type
Rename UUω to Large-Type

The text was updated successfully, but these errors were encountered:

fredrik-bakke added this to the downtime milestone

fredrik-bakke added refactoring improve naming and removed refactoring labels

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment