let lst_sub_ls_dbg (ls : t_equal) : ((Types_unify.term * Types_unify.term) list) = let rec help str = function | (n,t)::tail -> help (((Var n),t)::str) tail | [] -> str in if ls = [] then [] else help [] ls