pub trait Bounded { // Required method fn len(&self) -> usize; // Provided method fn is_empty(&self) -> bool { ... } }