Pretty printer should use prefix vstore notation instead of /~. #2863

Closed

Closed

Pretty printer should use prefix vstore notation instead of /~.#2863

Labels

Milestone

As part of #2653, we need to move the pretty printer over to our new notations.

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

0.3

Relationships

None yet

Development

No branches or pull requests