Name max
Definition max : overloaded.
max (a:val(int),b:val(int)) : expr(int)
max (r:val(range(int)) : expr(int)
Example1 maxIndex := max (leftIndex, rightIndex)
Example2 maxIndex := max ([leftIndex to rightIndex)
Defined in bitfields.l
Implementation lard
Description Integer maximum of two values, maximum of indices in range(int)