Trait type_level_logic::strong::ternary::NatRevInternal

pub trait NatRevInternal<B: Nat>: Nat {
    type Output: Nat;
}

Associated Types

type Output: Nat

Implementors

• impl<N: Nat> NatRevInternal<N> for Term
• impl<M: Nat, N: Nat> NatRevInternal<N> for Zero<M> where
    M: NatRevInternal<Zero<N>>, 
• impl<M: Nat, N: Nat> NatRevInternal<N> for One<M> where
    M: NatRevInternal<One<N>>, 
• impl<M: Nat, N: Nat> NatRevInternal<N> for Two<M> where
    M: NatRevInternal<Two<N>>,