type_level_values (cargo): Crate for using type-level values and functions.
Keywords: typelevel|no-std