Shachar Shemesh wrote:
> According to the docs, domains are not meant for that purpose, but
> for changing constraints of a type. Is it possible to define a domain
> that will have the same defaults and constraints as the base type,
> but will have different comparison functions? Will that provide me
> with what I need?
Domains constrain the allowed values of a data type and nothing more.
If you were able to override operators, then you would create a new
data type, thus losing a fundamental property of domains. So this is
not the route you want to pursue.