/EquivType.sig/1.2/Thu Dec 28 15:12:25 2000//
/EquivType.sml/1.9/Sat Feb 10 08:59:34 2001//
D
