Trait creusot_contracts::std::iter::Sum
1.12.0 · source · pub trait Sum<A = Self>: Sized {
// Required method
fn sum<I>(iter: I) -> Self
where I: Iterator<Item = A>;
}Expand description
Trait to represent types that can be created by summing up an iterator.
This trait is used to implement Iterator::sum(). Types which implement
this trait can be generated by using the sum() method on an iterator.
Like FromIterator, this trait should rarely be called directly.
Required Methods§
Object Safety§
This trait is not object safe.