 DocAda(tm) is a productivity tool of KSCE
DocAda(tm) is a productivity tool of KSCE
 |
 |  |
 |  |
 |  |
 | 
 
About DocAda Light:
  Preface / Preliminary
/ Help
/ TOC
/ Copyright
DocAda Online at the Ada Home:
  Complete RM95
/ Updates
/ News
Static Semantics
The library package Characters has the following declaration:
   
       package Ada.Characters is
         pragma Pure(Characters);
       end Ada.Characters;
 
About DocAda Light:
  Preface / Preliminary
/ Help
/ TOC
/ Copyright
DocAda Online at the Ada Home:
  Complete RM95
/ Updates
/ News
 |
 |  |
 |  |
 |  |
 | 