eo
eo copied to clipboard
`PhDefault.vertex` seems to be a deprecated feature
What's the point of keeping the PhDefault.vertex
attribute if we don't have access to it from the language? I suggest we delete it entirely.
Also, we can get rid of our custom PhDefault.hashCode()
and simply rely on the default implementation.