rename equality-universal to a more extensible naming scheme

This commit is contained in:
Niko Matsakis 2017-11-13 14:11:10 -05:00 committed by Christopher Vittal
parent 37dd79ff44
commit 6f9fb91033