diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/data/collection/set/multi.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/data/collection/set/multi.lux b/stdlib/source/library/lux/data/collection/set/multi.lux index 7c741594e..3500e756e 100644 --- a/stdlib/source/library/lux/data/collection/set/multi.lux +++ b/stdlib/source/library/lux/data/collection/set/multi.lux @@ -3,8 +3,8 @@ [library [lux {"-" has list} [abstract - [equivalence {"+" Equivalence}] - [hash {"+" Hash}]] + [equivalence (.only Equivalence)] + [hash (.only Hash)]] [control ["[0]" function] ["[0]" maybe]] @@ -14,11 +14,11 @@ [number ["n" nat]]] [type - ["[0]" primitive {"+" primitive: abstraction representation}]]]] + ["[0]" primitive (.only primitive: abstraction representation)]]]] ["[0]" // [// ["[0]" list ("[1]#[0]" mix monoid)] - ["[0]" dictionary {"+" Dictionary}]]]) + ["[0]" dictionary (.only Dictionary)]]]) (primitive: .public (Set a) (Dictionary a Nat) |