Trait SameOrZero

pub trait SameOrZero<B> {
    type Max;
}

Required Associated Types

type Max

Implementors

impl SameOrZero<Zero> for Zero

type Max = Zero

impl<A> SameOrZero<Suc<A>> for Suc<A>

type Max = Suc<A>

impl<A> SameOrZero<Suc<A>> for Zero

type Max = Suc<A>

impl<A> SameOrZero<Zero> for Suc<A>

type Max = Suc<A>