Function mk_nullable_some 

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

Create a nullable some term. @param tm The term manager instance. @param term The element value. @return the Element value wrapped in some constructor.