Function mk_nullable_sort 

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

Create a nullable sort. @param tm The term manager instance. @param sort The sort of the element of the nullable. @return The nullable sort.