A type that equals true if Left and Right are loosely equal, that is, that Left extends Right and Right extends Left. This will always equal true or false, and never the union true | false
true | false
A type that equals true if Left and Right are loosely equal, that is, that Left extends Right and Right extends Left. This will always equal true or false, and never the union
true | false