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 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/data/collection/set/multi.lux b/stdlib/source/library/lux/data/collection/set/multi.lux index f43c6fa10..3e63b2926 100644 --- a/stdlib/source/library/lux/data/collection/set/multi.lux +++ b/stdlib/source/library/lux/data/collection/set/multi.lux @@ -14,13 +14,13 @@ [number ["n" nat]]] [type - ["[0]" primitive (.only primitive: abstraction representation)]]]] + ["[0]" primitive (.only primitive abstraction representation)]]]] ["[0]" // (.only) [// ["[0]" list (.open: "[1]#[0]" mix monoid)] ["[0]" dictionary (.only Dictionary)]]]) -(primitive: .public (Set a) +(primitive .public (Set a) (Dictionary a Nat) (def: .public empty |