let str_partitions_dbg table (ps : t_partition list) : string = if ps = [] then "empty list of partitions\n" else it_list (fun str p -> str^"----\n"^(str_partition_dbg table p)^"\n") "" ps