tylar (cargo): Type-Level Arithmetic in Rust
Keywords: type-level