diff options
Diffstat (limited to 'stdlib/source/library/lux/data/collection/set/multi.lux')
-rw-r--r-- | stdlib/source/library/lux/data/collection/set/multi.lux | 10 |
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) {} |