Module type_level_logic::strong
[−]
[src]
"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
|
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 |