This is an old version, view current version.
2.3 Bound Functions
int
min
(int x, int y)
Return the minimum of x and y. \[ \text{min}(x, y) = \begin{cases} x &
\text{if } x < y\\ y & \text{otherwise} \end{cases} \]
int
max
(int x, int y)
Return the maximum of x and y. \[ \text{max}(x, y) = \begin{cases} x &
\text{if } x > y\\ y & \text{otherwise} \end{cases} \]