pub trait MonotonicUpdate: AssociativeCollection {
// Required method
fn update(&mut self, loc: &Self::Location, value: Self::Item) -> bool;
}pub trait MonotonicUpdate: AssociativeCollection {
// Required method
fn update(&mut self, loc: &Self::Location, value: Self::Item) -> bool;
}