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 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/data/collection/set/multi.lux b/stdlib/source/library/lux/data/collection/set/multi.lux index 8211134e1..46f395b21 100644 --- a/stdlib/source/library/lux/data/collection/set/multi.lux +++ b/stdlib/source/library/lux/data/collection/set/multi.lux @@ -44,7 +44,7 @@ (All [a] (-> Nat a (Set a) (Set a))) (case multiplicity 0 set - _ (case (dictionary.get elem (:representation set)) + _ (case (dictionary.value elem (:representation set)) (#.Some current) (:abstraction (if (n.> multiplicity current) @@ -56,7 +56,7 @@ (def: .public (multiplicity set elem) (All [a] (-> (Set a) a Nat)) - (|> set :representation (dictionary.get elem) (maybe.else 0))) + (|> set :representation (dictionary.value elem) (maybe.else 0))) (def: .public list (All [a] (-> (Set a) (List a))) @@ -159,4 +159,4 @@ (def: .public super? {#.doc (example "Is 'subject' a super-set of 'reference'?")} (All [a] (-> (Set a) (Set a) Bit)) - (function.flip sub?)) + (function.flipped sub?)) |