type-level-logic (cargo): Primitive types and operations for type-level logic.
Keywords: nat|type-level|logic|type|int