Return to standard_natural_numbers_io.adb CVS log | Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Numbers |
File: [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Numbers / standard_natural_numbers_io.adb (download)
Revision 1.1.1.1 (vendor branch), Sun Oct 29 17:45:26 2000 UTC (23 years, 10 months ago) by maekawa
Import the second public release of PHCpack. OKed by Jan Verschelde. |
with integer_io; package body Standard_Natural_Numbers_io is procedure get ( file : in file_type; n : in out natural ) is begin integer_io.get(file,n); end get; procedure put ( file : in file_type; n : in natural ) is begin integer_io.put(file,n,1); end put; procedure put ( file : in file_type; n,dp : in natural ) is begin integer_io.put(file,n,dp); end put; end Standard_Natural_Numbers_io;