Trait `FoldMul`

pub trait FoldMul

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

Associated Types

type Output;: The type of the result of the product

Implementors

impl FoldMul for ATerm
impl<V, A> FoldMul for TArr<V, A> where A: FoldMul, FoldProd<A>: Mul<V>,