round

round : (real -> int)

purpose:
to round a real number to an integer (rounds to even to break ties)


Intermediate Student with Lambda Language


Google