Trait IntRevInternal

pub trait IntRevInternal<B: Int>: Int {
    type Output: Int;
}

Required Associated Types

type Output: Int

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<M, N: Int> IntRevInternal<N> for Minus<M>

where M: IntRevInternal<Minus<N>> + Int,

type Output = <M as IntRevInternal<Minus<N>>>::Output

impl<M, N: Int> IntRevInternal<N> for Plus<M>

where M: IntRevInternal<Plus<N>> + Int,

type Output = <M as IntRevInternal<Plus<N>>>::Output

impl<M, N: Int> IntRevInternal<N> for Zero<M>

where M: IntRevInternal<Zero<N>> + Int,

type Output = <M as IntRevInternal<Zero<N>>>::Output

impl<N: Int> IntRevInternal<N> for Term

type Output = N