pub trait History {
// Required methods
fn push(&mut self, line: &str);
fn len(&self) -> usize;
fn get(&self, index: usize) -> Option<String>;
// Provided method
fn is_empty(&self) -> bool { ... }
}pub trait History {
// Required methods
fn push(&mut self, line: &str);
fn len(&self) -> usize;
fn get(&self, index: usize) -> Option<String>;
// Provided method
fn is_empty(&self) -> bool { ... }
}