Module asserts
tstr
Types for asserting properties of type-level strings.
For asserting the (in)equality of two type-level strings.