-- Polymorphic max function specification -- in Ada from page 249 of -- Kenneth C. Louden, Programming Languages -- Principles and Practice 2nd Edition -- Copyright (C) Brooks-Cole/ITP, 2003 generic type T is private; with function gt(x,y:T) return boolean; function max (x,y:T) return T;