aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/math/modular.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/math/modular.lux')
-rw-r--r--stdlib/source/library/lux/math/modular.lux9
1 files changed, 5 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/math/modular.lux b/stdlib/source/library/lux/math/modular.lux
index 9a94151c4..acfdbab2d 100644
--- a/stdlib/source/library/lux/math/modular.lux
+++ b/stdlib/source/library/lux/math/modular.lux
@@ -30,8 +30,9 @@
(abstract: .public (Mod m)
{}
- {#modulus (Modulus m)
- #value Int}
+ (Record
+ {#modulus (Modulus m)
+ #value Int})
(def: .public (modular modulus value)
(All [%] (-> (Modulus %) Int (Mod %)))
@@ -66,7 +67,7 @@
(def: (encoded modular)
(let [[_ value] (:representation modular)]
- ($_ text\compose
+ ($_ text\composite
(i\encoded value)
..separator
(i\encoded (//.divisor expected)))))
@@ -125,7 +126,7 @@
(def: identity
(..modular modulus <identity>))
- (def: compose
+ (def: composite
<composition>))]
[..+ +0 addition]