min

min : (real real ... -> real)

purpose:
to determine the smallest number


Intermediate Student Language