round

round : (real -> int)

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


Beginning Student with List Abbreviations Language


Google