max,min

Usage

max(a,b)
min(a,b)

Signature

max,min:

(%,%) $\to$ %

Parameter	Type	Description
a, b	%	elements of the type

Returns

max(a,b) and min(a,b) respectively the largest and the smallest among a and b.