Simplify definition of `mapset_dom_with`.
This fixes issue #183 (closed)
It is not clear that it fixes similar issues. But regardless, I would say that the simplification of the definition of dom is a sensible change.
This fixes issue #183 (closed)
It is not clear that it fixes similar issues. But regardless, I would say that the simplification of the definition of dom is a sensible change.