let
print univ fmt = print_list fmt (
Disj
.print univ)
", "