Proves that Constraint does NOT hold
Proves that Constraint does NOT hold
Proves both Left and Right
Proves both Left and Right
Proves or disproves both Left and Right (aka Left ≡ Right, Left <=> Right)
Proves or disproves both Left and Right (aka Left ≡ Right, Left <=> Right)
Type representing Boolean False for type-level boolean algebra
Type representing Boolean False for type-level boolean algebra
Proves Left Implies Right
Proves Left Implies Right
Type representing Boolean True for type-level boolean algebra
Type representing Boolean True for type-level boolean algebra
Proves either Left or Right but not both
Proves either Left or Right but not both
Proves either Left or Right or both
Proves either Left or Right or both