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

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

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