(convert-rc-to-mode rc) → *
Function: convert-rc-to-mode$inline
(defun convert-rc-to-mode$inline (rc) (declare (xargs :guard (natp rc))) (case rc (0 'rtl::rne) (1 'rtl::rdn) (2 'rtl::rup) (3 'rtl::rtz) (otherwise nil)))