Function mk_nullable_is_some 

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

Create a some tester for a nullable term. @param tm The term manager instance. @param term A nullable term. @return A tester whether term is some.