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 38c1e81af..9d3a040e5 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 ["[0]" function] ["[0]" maybe]] @@ -12,11 +12,11 @@ [number ["n" nat]]] [type - [abstract {"+" [abstract: :abstraction :representation ^:representation]}]]]] + [abstract {"+" abstract: :abstraction :representation ^:representation}]]]] ["[0]" // [// ["[0]" list ("[1]#[0]" mix monoid)] - ["[0]" dictionary {"+" [Dictionary]}]]]) + ["[0]" dictionary {"+" Dictionary}]]]) (abstract: .public (Set a) (Dictionary a Nat) |