Trait FoldMul

pub trait FoldMul {
    type Output;
}

A type operator that gives the product of all elements of an Array.

Required Associated Types

type Output

The type of the result of the product

Implementors

impl FoldMul for ATerm

type Output = Null

impl<V, A> FoldMul for TArr<V, A>

where A: FoldMul, FoldProd<A>: Mul<V>,

type Output = <<A as FoldMul>::Output as Mul<V>>::Output