Equality types

ML defines a built-in = function that is polymorphic over all types that “admit equality”
- In ML, this is any type except those containing functions or reals
- Why? Are there other examples of types that shouldn’t be compared for equality?

ML defines a built-in = function that is polymorphic over all types that “admit equality”