diff options
Diffstat (limited to 'stdlib/source/library/lux/data/collection/set')
-rw-r--r-- | stdlib/source/library/lux/data/collection/set/multi.lux | 2 | ||||
-rw-r--r-- | stdlib/source/library/lux/data/collection/set/ordered.lux | 2 |
2 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 ac422fd99..9141df9b2 100644 --- a/stdlib/source/library/lux/data/collection/set/multi.lux +++ b/stdlib/source/library/lux/data/collection/set/multi.lux @@ -66,7 +66,7 @@ (list#composite (list.repeated multiplicity elem) output)) {.#End}))) - (template [<name> <composite>] + (with_template [<name> <composite>] [(def: .public (<name> parameter subject) (All (_ a) (-> (Set a) (Set a) (Set a))) (abstraction (dictionary.composite_with <composite> (representation parameter) (representation subject))))] diff --git a/stdlib/source/library/lux/data/collection/set/ordered.lux b/stdlib/source/library/lux/data/collection/set/ordered.lux index 9e83655b9..296e0aadc 100644 --- a/stdlib/source/library/lux/data/collection/set/ordered.lux +++ b/stdlib/source/library/lux/data/collection/set/ordered.lux @@ -23,7 +23,7 @@ (All (_ a) (-> (Set a) a Bit)) (/.key? (representation set) elem)) - (template [<type> <name> <alias>] + (with_template [<type> <name> <alias>] [(def: .public <name> (All (_ a) (-> (Set a) <type>)) (|>> representation <alias>))] |