1
The library package Characters has the following declaration:
2
package Ada.Characters is pragma Pure(Characters); end Ada.Characters;
3/2
The library package Wide_Characters has the following declaration:
4/2
package Ada.Wide_Characters is pragma Pure(Wide_Characters); end Ada.Wide_Characters;
5/2
The library package Wide_Wide_Characters has the following declaration:
6/2
package Ada.Wide_Wide_Characters is pragma Pure(Wide_Wide_Characters); end Ada.Wide_Wide_Characters;
7/2
If an implementation chooses to provide implementation−defined operations on Wide_Character or Wide_String (such as case mapping, classification, collating and sorting, etc.) it should do so by providing child units of Wide_Characters. Similarly if it chooses to provide implementation−defined operations on Wide_Wide_Character or Wide_Wide_String it should do so by providing child units of Wide_Wide_Characters.