File : ints-io.ads

with Ada.Text_IO;
use Ada.Text_IO;

package Ints.IO is

  package Int_IO is new Ada.Text_IO.Integer_IO(Integer);

  function Width(I: Integer; Base: Positive := 10) return Positive;
  function Strng(I: Integer; W: Positive) return String;
  procedure Get(F: in File_Type; I: out Integer);
  procedure Put(F: in File_Type; I: in Integer; NewLine: in Boolean := True);
  procedure Show1(N: in String; I: in Integer);
  procedure Show2(N: in String; I1,I2: in Integer);

end Ints.IO;