Function opendp::trans::sum::make_bounded_sum_n

pub fn make_bounded_sum_n<T>(
    lower: T, 
    upper: T, 
    length: usize
) -> Fallible<Transformation<SizedDomain<VectorDomain<IntervalDomain<T>>>, AllDomain<T>, SymmetricDistance, AbsoluteDistance<T>>> where
    T: DistanceConstant<IntDistance> + Sub<Output = T>,
    for<'a> T: Sum<&'a T> + ExactIntCast<usize> + CheckedMul + CheckNull,
    IntDistance: InfCast<T>,