Trait IntSucc

pub trait IntSucc: Int {
    type Output: Int;
}

The Succ operator adds one to an integer.

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 IntSucc for Term

type Output = Plus

impl IntSucc for Undefined

type Output = Undefined

impl<N> IntSucc for Plus<N>

where N: IntSucc + Int,

type Output = Minus<<N as IntSucc>::Output>

impl<N: Int> IntSucc for Minus<N>

where Zero<N>: Unique,

type Output = <Zero<N> as Unique>::Output

impl<N: Int> IntSucc for Zero<N>

type Output = Plus<N>