Can you make this a list, e.g.

```rust
/**
 * Trait for equality comparisons that form an [equalence relation](...).
 *
 * The equality must be (for all `a`, `b` and `c`):
 *
 * - reflexive: `a == a`;
 * - symmetric: `a == b` implies `b == a`; and
 * - transitive: `a == b` and `b == c` implies `a == c`.
 *
 * `a == b` and `a != b` must be strict inverses.
 */
```