pub trait LexOrder { // Required method fn lex_order(&mut self); // Provided method fn lex_ordered(self) -> Self where Self: Sized { ... } }