4 ms·Data Types with Negation8 points by isaac21259 4y agoaatd86 4y agoSemantic subtyping uses negation. It's an analogous to if else.