pub trait HasIndex: HasLength {
type Int: GlobalIndex;
// Required method
fn get_start_index(&self) -> Self::Int;
// Provided method
fn get_end_index(&self) -> Self::Int { ... }
}
pub trait HasIndex: HasLength {
type Int: GlobalIndex;
// Required method
fn get_start_index(&self) -> Self::Int;
// Provided method
fn get_end_index(&self) -> Self::Int { ... }
}