aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/data/collection/set/multi.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/data/collection/set/multi.lux')
-rw-r--r--stdlib/source/library/lux/data/collection/set/multi.lux10
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/data/collection/set/multi.lux b/stdlib/source/library/lux/data/collection/set/multi.lux
index 62aa7a52f..abc0836c5 100644
--- a/stdlib/source/library/lux/data/collection/set/multi.lux
+++ b/stdlib/source/library/lux/data/collection/set/multi.lux
@@ -1,10 +1,10 @@
... https://en.wikipedia.org/wiki/Multiset
(.module:
[library
- [lux (#- list)
+ [lux {"-" [list]}
[abstract
- [equivalence (#+ Equivalence)]
- [hash (#+ Hash)]]
+ [equivalence {"+" [Equivalence]}]
+ [hash {"+" [Hash]}]]
[control
["." function]
["." maybe]]
@@ -12,11 +12,11 @@
[number
["n" nat]]]
[type
- [abstract (#+ abstract: :abstraction :representation ^:representation)]]]]
+ [abstract {"+" [abstract: :abstraction :representation ^:representation]}]]]]
["." //
[//
["." list ("#\." mix monoid)]
- ["." dictionary (#+ Dictionary)]]])
+ ["." dictionary {"+" [Dictionary]}]]])
(abstract: .public (Set a)
{}