Module type_level_logic::strong

"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 Int trait.
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".