File : ints.adb

package body Ints is

  function IMin(I1,I2,I3: Integer) return Integer is
  begin
    return IMin(IMin(I1,I2),I3);
  end IMin;

  function IMax(I1,I2,I3: Integer) return Integer is
  begin
    return IMax(IMin(I1,I2),I3);
  end IMax;

  function Int(B: Boolean) return Integer is
  begin
    if B then return 1; else return 0; end if;
  end Int;

end Ints;