aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/world/output/video/resolution.lux
diff options
context:
space:
mode:
authorEduardo Julian2022-06-16 00:48:19 -0400
committerEduardo Julian2022-06-16 00:48:19 -0400
commit9e2f1e76f2c8df01ed7687d934c3210fcf676bd6 (patch)
tree115fab5bd8a5f53dc0d13ce5453095324a83496f /stdlib/source/library/lux/world/output/video/resolution.lux
parentf92c806ee8da63f04bbefbf558f6249bacdb47ea (diff)
De-sigil-ification: suffix : [Part 13]
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/world/output/video/resolution.lux6
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/world/output/video/resolution.lux b/stdlib/source/library/lux/world/output/video/resolution.lux
index fd6a1a9de..ebe60cf6d 100644
--- a/stdlib/source/library/lux/world/output/video/resolution.lux
+++ b/stdlib/source/library/lux/world/output/video/resolution.lux
@@ -15,17 +15,17 @@
[#width Nat
#height Nat]))
-(def: .public hash
+(def .public hash
(Hash Resolution)
(product.hash nat.hash nat.hash))
-(def: .public equivalence
+(def .public equivalence
(Equivalence Resolution)
(at ..hash equivalence))
... https://en.wikipedia.org/wiki/Display_resolution#Common_display_resolutions
(with_template [<name> <width> <height>]
- [(def: .public <name>
+ [(def .public <name>
Resolution
[#width <width>
#height <height>])]