Trait dimensioned::peano::MulPeano

pub trait MulPeano<RHS>: Peano {
    type Output;
}

This trait allows us to multiply any two Peano numbers.

Associated Types

type Output

Implementors

• impl<RHS: Peano> MulPeano<RHS> for Zero
• impl<LHS, RHS> MulPeano<RHS> for Succ<LHS> where LHS: NonNeg + MulPeano<RHS>, RHS: AddPeano<LHS::Output>
• impl<LHS, RHS> MulPeano<RHS> for Pred<LHS> where LHS: NonPos + MulPeano<RHS>, RHS: Peano, LHS::Output: SubPeano<RHS>