pub trait HasDims { // Required method fn dim_sizes(&self) -> HashMap<String, u64>; // Provided method fn coords(&self) -> HashMap<String, Value> { ... } }