Function mk_nullable_val 

pub unsafe extern "C" fn mk_nullable_val(
    tm: *mut TermManager,
    term: Term,
) -> Term

Create a selector for nullable term. @param tm The term manager instance. @param term A nullable term. @return The element value of the nullable term.