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