Equality Comparable

A | A type that is a model of Assignable | |

a,b | objects of type A |

**Equality**`a == b`Return type: a type that is convertible to bool Semantics: is true if `a`is equal to`b`**Inequality**`a != b`Return type: a type that is convertible to bool Semantics: same as `!(a==b)`