Function prod 

pub fn prod<T>(x: &[T]) -> (<Product as Reduction<T>>::Total, bool)
where
    T: Copy,
    Product: Reduction<T>,

The product of x, 1 for an empty slice, and whether it fits. An integer product that doesn’t fit wraps.