3 ms·Ah, sorry, I read it as "equality of type".by ericd 17y agoAh, sorry, I read it as "equality of type".