Task

Create a function that returns the maximum value in a provided set of values,

where the number of values may not be known until run-time.




GENERIC INTERFACE Maximum(Elem);
 
EXCEPTION Empty;
 
PROCEDURE Max(READONLY a: ARRAY OF Elem.T): Elem.T RAISES {Empty};
 
END Maximum.