Type Definition typenum::U0

pub type U0 = UTerm;

Trait Implementations

impl Gcd<UTerm> for U0

gcd(0, 0) = 0

type Output = UTerm

The greatest common divisor.

impl<Y> Gcd<Y> for U0where
    Y: Unsigned + NonZero,

gcd(0, y) = y

type Output = Y

The greatest common divisor.