Trait Max 

pub trait Max<N1, N2>
where
    N1: IsNumber,
    N2: IsNumber,
    Self::Output: IsNumber,
{
    type Output;
}

Required Associated Types

type Output

Implementations on Foreign Types

impl Max<Zero, Zero> for ()

type Output = Zero

impl<N1, N2> Max<Succ<N1>, Succ<N2>> for ()

where N1: IsNumber, N2: IsNumber, (): Max<N1, N2>,

type Output = Succ<<() as Max<N1, N2>>::Output>

impl<N> Max<Succ<N>, Zero> for ()

where N: IsNumber,

type Output = Succ<N>

impl<N> Max<Zero, Succ<N>> for ()

where N: IsNumber,

type Output = Succ<N>

Implementors