min
min : (real real ... -> real)
purpose:
to determine the smallest number
Beginning Student Language