Type Definition typenum::U0

pub type U0 = UTerm;

Trait Implementations

impl Gcd<UTerm> for U0

gcd(0, 0) = 0

type Output = U0

The greatest common divisor.

impl<Y> Gcd<Y> for U0 where
    Y: Unsigned + NonZero, 

gcd(0, y) = y

type Output = Y

The greatest common divisor.