let lst_sub_dbg ((ls,_,_) : t_subst) : ((Types_unify.term * Types_unify.term) list) = lst_sub_ls_dbg ls