pub trait TotalXp: AchievementStatistic { // Required method fn total_xp(&self) -> u32; // Provided methods fn name(&self) -> &str { ... } fn description(&self) -> &str { ... } fn value(&self) -> f64 { ... } }