Trait NatDoublePred

pub trait NatDoublePred: Nat {
    type Output: Nat;
}

The DoublePred operator subtracts two from a Nat. It is defined for Nats greater than one, and can be used as DoublePred<X> or <X as NatDoublePred>::Output.

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

type Output = Undefined

impl NatDoublePred for Undefined

type Output = Undefined

impl<X> NatDoublePred for One<X>

where X: NatPred + Nat,

type Output = Two<<X as NatPred>::Output>

impl<X> NatDoublePred for Two<X>

where X: NatTriple + Nat,

type Output = <X as NatTriple>::Output

impl<X> NatDoublePred for Zero<X>

where X: NatPred + Nat,

type Output = One<<X as NatPred>::Output>