-- Polymorphic max function user
-- in Ada from page 250 of
-- Kenneth C. Louden, Programming Languages
-- Principles and Practice 2nd Edition
-- Copyright (C) Brooks-Cole/ITP, 2003

with Text_IO; use Text_IO;
with Ada.Integer_Text_IO;
use Ada.Integer_Text_IO;

with max; -- import the max unit

procedure maxusr is

function maxint is new max(integer,">");
-- instantiate the max function for integers,
-- using the ">" function as the gt function.

i: integer;

begin
  i := maxint(1,2); -- i is now 2
  put(i);
end maxusr;