Trait tylar::Mul

pub trait Mul<RHS> {
    type Out;
}

Subtraction of number types.

Associated Types

type Out

Result of the operation, i.e. Out = Self * RHS.

Implementors

• impl<N: NumType> Mul<N> for Zero
• impl<A: PosType, RHS, B> Mul<RHS> for Succ<A> where A: Mul<RHS, Out=B>, RHS: Add<B>
• impl<A: NegType, RHS, B, C> Mul<RHS> for Pred<A> where A: Mul<RHS, Out=C>, RHS: Neg<Out=B>, B: Add<C>