Trait opendp::traits::CollectionSize
source · pub trait CollectionSize {
// Required method
fn size(&self) -> usize;
}
Expand description
Returns the length of self, where self is a collection.
Self is commonly a Vec
or HashMap
.
Required Methods§
sourcefn size(&self) -> usize
fn size(&self) -> usize
Proof Definition
For any value
of type Self
, returns the size of the collection.