pub trait Counter<T: Default>: Send + Sync { // Provided methods fn count(&self) -> T { ... } fn dec(&self, _delta: T) { ... } fn inc(&self, _delta: T) { ... } }