=======================
User-Defined Equality
=======================

-----------------------
User-Defined Equality
-----------------------

* Allowed like any other operator

   - Must remain a binary operator

* Typically declared as :ada:`return Boolean`
* Hard to do correctly for composed types

    - Especially **user-defined** types
    - Issue of *Composition of equality*
