DEFINITION MODULE Math;

   (* This module defines various mathematical functions. *)


   PROCEDURE Max ( Left  : INTEGER;
                   Right : INTEGER ) : INTEGER;

      (* Return the maximum of two values. *)


   PROCEDURE Min ( Left  : INTEGER;
                   Right : INTEGER ) : INTEGER;

      (* Return the minimum of two values. *)


END Math.