pub trait ProgressScreen: State { // Provided method fn update_progress(&mut self, progress: f64) { ... } }