Macro saturating_integer_sum_product

macro_rules! saturating_integer_sum_product {
    (@impls $zero:expr, $one:expr, $doc:expr, #[$attr:meta], $($a:ty)*) => { ... };
    ($($a:ty)*) => { ... };
}