Module tstr::asserts

source ·
Expand description

Types for asserting properties of type-level strings.

Structs§

  • Assert
    For asserting the (in)equality of two type-level strings.
  • EqualityProof
    Value-level proof that the L and R type-level strings compared equal.
  • InequalityProof
    Value-level proof that the L and R type-level strings compared not equal.