Library ▹ Essentials ▹ Sets ▹ Multisets
  • MultiSet(S) (S-multisets)
  • multT(t)
  • Set
  • ItemsT(t)
  • Elems
  • |T|
  • finite/infinite
[View Source]