type-operators (cargo): A macro system for creating type operators in Rust and writing type-level logic.
Keywords: type-level|type|macro|operator|dsl|macros|rust|type-level-programming|type-system