Combine elements of a pathname
String_Type path_concat (String_Type dir, String_Type basename)
The path_concat function combines the arguments dir and basename to produce a pathname. For example, on unix is dir is x/y and basename is z, then the function will return x/y/z.
![[CIAO Logo]](../imgs/ciao_logo_navbar.gif){kind=logo}