Get the value of a search-path delimiter
Char_Type path_get_delimiter ()
This function returns the value of the character used to delimit fields of a search-path.
![[CIAO Logo]](../imgs/ciao_logo_navbar.gif){kind=logo}