One of the notable things I learned from Wirth’s Pascal was the idea of the difference between equality of types by name and by structure.

Here, it looks like Zig doesn’t allow for a way to describe the distinction.

Would it be better if the types defined by structure automatically were assigned a very ugly name isomorphic to the structure ?