type-nats (cargo): Type-level natural numbers in Rust
Keywords: type-level