3 ms·Semantic subtyping uses negation. It's an analogous to if else.by aatd86 4y agoSemantic subtyping uses negation. It's an analogous to if else.