Trait 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.

Required Associated Types

type Output: Nat

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<N> NatRev for N

where N: NatRevInternal<Term> + Nat,

type Output = <N as NatRevInternal<Term>>::Output