pub trait Countable { // Required method fn count(&self) -> CountableType; // Provided method fn is_finite(&self) -> bool { ... } }