TYP is a type-level programming langauge that computes types. It enables you to write type operators, the functions that translates types, in Rust syntax. Please read the TYP book understand the usage.
Constructs a signed integer type from an integer literal.
The main macro that translates the TYP langauge to actual Rust implementations.
Constructs an unsigned integer type from an integer literal.