Trait IntPred

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

The Pred operator subtracts 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 IntPred for Term

type Output = Minus

impl IntPred for Undefined

type Output = Undefined

impl<N> IntPred for Minus<N>

where N: IntPred + Int,

type Output = Plus<<N as IntPred>::Output>

impl<N: Int> IntPred for Plus<N>

where Zero<N>: Unique,

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

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

type Output = Minus<N>