with text_io; use text_io;
package Standard_Natural_Numbers_io is
-- DESCRIPTION :
-- Definitions of the input/output routines for standard naturals.
procedure get ( file : in file_type; n : in out natural );
-- DESCRIPTION :
-- Reads a natural number from file.
procedure put ( file : in file_type; n : in natural );
-- DESCRIPTION :
-- Writes a natural number to the file, with no spaces in front.
procedure put ( file : in file_type; n,dp : in natural );
-- DESCRIPTION :
-- Writes the number on file, using at least dp decimal places.
-- If the number needs less space in its display,
-- then blanks are added in front of the number.
end Standard_Natural_Numbers_io;