Trait prop::nat::Dec

pub trait Dec {
    type Out: Nat;
}

Decrement.

Associated Types

type Out: Nat

The output type.

Implementors

impl Dec for Z

type Out = Z

impl<T: Nat> Dec for S<T>

type Out = T