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} \]