pub unsafe extern "C" fn T_tuple_less_equal( T1: Htuple, T2: Htuple, Lesseq: *mut Htuple, ) -> Herror