Change to another namespace
use_namespace (String_Type name)
The use_namespace function changes the current namespace to the one specified by the parameter. If the specified namespace does not exist, an error will be generated.
![[CIAO Logo]](../imgs/ciao_logo_navbar.gif){kind=logo}