The string literal phrase to be negated
type Negated = Negation<'to be a string'>; // "not to be a string"
type AlsoNegated = Negation<'to equal'>; // "not to equal"
// Usage in assertions:
expect(42, 'not to be a string'); // Uses negated assertion logic
AssertionParts
tuples
Creates a negated version of a phrase literal by prefixing
"not "
.This utility type transforms assertion phrases into their negated equivalents, enabling the natural language negation feature in BUPKIS assertions. When users provide phrases like
"not to be a string"
, this type helps the system understand and process the negation.The negation is applied at the type level during assertion matching and affects how the assertion logic is executed - negated assertions expect the opposite result.