Trait prop::nat::Dec

source · 
pub trait Dec {
    type Out: Nat;
}
Expand description

Decrement.

Required Associated Types§

source

type Out: Nat

The output type.

Implementors§

source§

impl Dec for Z

§

type Out = Z

source§

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

§

type Out = T