Module eq
This module describes a trait for checking equality of variables.
Specifies how to generate constraints that check for equality for two variables of type Self.
Self