pub type Span_element_type<ElementType> = ElementType;