Function opendp::trans::sum::make_bounded_sum

pub fn make_bounded_sum<T>(
    lower: T, 
    upper: T
) -> Fallible<Transformation<VectorDomain<IntervalDomain<T>>, AllDomain<T>, SymmetricDistance, AbsoluteDistance<T>>> where
    T: DistanceConstant<IntDistance> + Sub<Output = T> + Abs + SaturatingAdd + Zero + CheckNull,
    IntDistance: InfCast<T>,