{5, 7} and {5, 7}
Dt.Atom(_module.Class0, 10) and Dt.Atom(_module.Class0, 10)
Dt.Atom(_module.Class0, 10) and Dt.Atom(_module.Class0, 10)
{_module.Class0} and {_module.Class0}
[_module.Class0] and [_module.Class0]
multiset{_module.Class0} and multiset{_module.Class0}
map[7 := _module.Class0] and map[7 := _module.Class0]
[_module.Class0, _module.Class0] and [_module.Class0, _module.Class0]
