Language.Syntactic.Interpretation.Equality
class
Equality
expr