let str_termlist_dbg table (sep : string) (ls : term list) : string = it_list (fun str t -> str^(str_term_dbg table t)^sep) "" ls