Function mk_integer_int64 

pub unsafe extern "C" fn mk_integer_int64(
    tm: *mut TermManager,
    val: i64,
) -> Term

Create an integer constant from a c++ int. @param tm The term manager instance. @param val The value of the constant. @return A constant of sort Integer.