Trait type_level_logic::strong::ternary::NatRev
[−]
pub trait NatRev: Nat { type Output: Nat; }
Nat
reversal. This is probably something you never want to do! However, it's useful
in implementing division, in which we wish to access trits with the most-significant trits
first. This reverses all the trits of the integer.
Associated Types
Implementors
impl<N: Nat> NatRev for N where
N: NatRevInternal<Term>,