Trait peano::Same

pub trait Same<Rhs = Self> {
    type Output;
}

Same is used to ensure that two types are the same. Its Output should always be that type.

Example:

use peano::{Same, Succ, P1, P2, ToInt};

assert_eq!(2, <<Succ<P1> as Same<P2>>::Output as ToInt>::to_int());

Associated Types

type Output

Output should always be Self

Implementors

• impl<N> Same<N> for N where
    N: Peano,