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