let
str_sub_clot_dbg table ((ls,_,_)
as
sub : t_subst) : string =
str_sub_ls_clot_dbg table sub ls