3.7.94. Equality between multisets

A constraint that can be used for modelling an equality constraint between two multisets.