nico@207: \hypertarget{namespacetypes_1_1_5}{
nico@207: \section{types::$\ast$ Namespace Reference}
nico@207: \label{namespacetypes_1_1_5}\index{types::*@{types::$\ast$}}
nico@207: }
nico@207: 
nico@207: