A.16.2 The Packages Wide_Directories and Wide_Wide_Directories

{AI12-0021-1} The packages Wide_Directories and Wide_Wide_Directories provide operations for manipulating files and directories, and their names. 

{AI12-0021-1} The specification of package Wide_Directories is the same as for Directories (including its optional child packages Information and Hierarchical_File_Names), except that each occurrence of String is replaced by Wide_String.

{AI12-0021-1} The specification of package Wide_Wide_Directories is the same as for Directories (including its optional child packages Information and Hierarchical_File_Names), except that each occurrence of String is replaced by Wide_Wide_String.