pub trait Tk { // Required method fn tk(&self) -> &[u8] ⓘ; // Provided method fn eq_tk(&self, other: &impl Tk) -> bool { ... } }