Module asserts

Types for asserting properties of type-level strings.

Structs

• Assert
  For asserting the (in)equality of two type-level strings.