pub type Mem_root_array_value_type<Element_type> = Element_type;
Expand description

Convenience typedef, same typedef name as std::vector