pub fn make_bounded_int_split_sum<T>(
    bounds: (T, T)
) -> Fallible<Transformation<VectorDomain<AtomDomain<T>>, AtomDomain<T>, SymmetricDistance, AbsoluteDistance<T>>>where
    T: Number + SplitSatSum + AddIsExact,
Expand description

Make a Transformation that computes the sum of bounded ints. Adds the saturating sum of the positives to the saturating sum of the negatives.



  • bounds - Tuple of lower and upper bounds for data in the input domain.


  • T - Atomic Input Type and Output Type