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

-- body of max unit
function max (x,y:T) return T is
begin
   if gt(x,y) then return x;
   else return y;
   end if;
end max;