Trait Max

pub trait Max<B> {
    type Max;
}

Required Associated Types

type Max

Implementors

impl Max<Zero> for Zero

type Max = Zero

impl<A> Max<Zero> for Suc<A>

type Max = Suc<A>

impl<A, B> Max<Suc<B>> for Suc<A>

where A: Max<B>,

type Max = Suc<<A as Max<B>>::Max>

impl<B> Max<Suc<B>> for Zero

type Max = Suc<B>