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