pub unsafe extern "C" fn get_rm_sort(tm: *mut TermManager) -> SortExpand description
Get the rounding mode sort. @param tm The term manager instance. @return The rounding mode sort.
pub unsafe extern "C" fn get_rm_sort(tm: *mut TermManager) -> SortGet the rounding mode sort. @param tm The term manager instance. @return The rounding mode sort.