Crate typ

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.

Macros

tyint	Constructs a signed integer type from an integer literal.
typ	The main macro that translates the TYP langauge to actual Rust implementations.
tyuint	Constructs an unsigned integer type from an integer literal.