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