pub unsafe extern "C" fn sort_to_string(sort: Sort) -> *const c_charExpand description
Get a string representation of a given sort. @param sort The sort. @return A string representation of the given sort. @note The returned char* pointer is only valid until the next call to this function.