let str_sub_dbg table ((ls,_,_) : t_subst) : string =
  str_sub_ls_dbg table ls