Function get_real_sort 

pub unsafe extern "C" fn get_real_sort(tm: *mut TermManager) -> Sort

Get the Real sort. @param tm The term manager instance. @return Sort Real.