990def sm86RoundingNatural = (lambda unrestricted rounding : (family SM86Rounding) .
991 (eliminate SM86Rounding (lambda unrestricted current : (family SM86Rounding) . Nat) rounding
992 (branch SM86RoundNearestEven . 0) (branch SM86RoundDown . 1) (branch SM86RoundUp . 2) (branch SM86RoundTowardZero . 3)))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.