Closed JamesGallicchio closed 6 months ago
Now dictionaries are Bags rather than MultiBags, and Bags only require a ToMultiset function rather than the (much stronger) requirement of a ToFinset function
Bag
MultiBag
ToMultiset
ToFinset
Now dictionaries are
Bags rather thanMultiBags, andBags only require aToMultisetfunction rather than the (much stronger) requirement of aToFinsetfunction