list_to_gmultiset
The bag in iris/examples needs list_to_gmultiset
. I added a general list_to_set_disj
operation for this, which uses disjoint union to turn the list into a set. But @robbertkrebbers suggests we just want a specialized list_to_gmultiset
instead? Not sure why.