Return to standard_natural_numbers_io.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Math_Lib / Numbers

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;