nico@207: \hypertarget{namespacedoc__index_1_1DS301__index_1_1_5}{
nico@207: \section{doc\_\-index::DS301\_\-index::$\ast$ Namespace Reference}
nico@207: \label{namespacedoc__index_1_1DS301__index_1_1_5}\index{doc_index::DS301_index::*@{doc\_\-index::DS301\_\-index::$\ast$}}
nico@207: }
nico@207: 
nico@207: