Expand description
“Strongly” enforced (non-SFINAE-style) type operators. Here, “strong” means that if you use
a type operator from this module, Rust will complain if it can’t guarantee an impl for it
and you haven’t listed it as a trait bound in a where clause.
Modules§
- balanced
- Type-level balanced ternary operations. For more information, see the documentation for the
Inttrait. - boolean
- Type-level boolean operations.
- ternary
- Type-level ternary operations, with “strongly” enforced validity. In this module
documentation, unsigned ternary numbers will be referred to as
Nats (because they’re a representation of the natural numbers), “natural numbers” (see preceding), or “unsigned numbers”.