Trait prop::nat::Add

source · 
pub trait Add {
    type Out: Clone;
}
Expand description

Addition.

Required Associated Types§

source

type Out: Clone

The output type.

Implementations on Foreign Types§

source§

impl Add for (Z, Z)

§

type Out = Z

source§

impl<T, U> Add for (S<T>, U)where (T, U): Add,

§

type Out = S<<(T, U) as Add>::Out>

source§

impl<T: Clone> Add for (Z, S<T>)

§

type Out = S<T>

Implementors§