Function cvc5_mk_nullable_null 

pub unsafe extern "C" fn cvc5_mk_nullable_null(
    tm: *mut Cvc5TermManager,
    sort: Cvc5Sort,
) -> Cvc5Term

Create a constant representing an null of the given sort. @param tm The term manager instance. @param sort The sort of the Nullable element. @return The null constant.