diff options
author | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
commit | f621a133e6e0a516c0586270fea8eaffb4829d82 (patch) | |
tree | 399396ee2f6a10df10cea9b78c51c76679b70e59 /stdlib/source/library/lux/world/output | |
parent | 17e7566be51df5e428a6b10e6469201a8a9468da (diff) |
No more #export magic syntax.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/world/output/video/resolution.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/world/output/video/resolution.lux b/stdlib/source/library/lux/world/output/video/resolution.lux index 8822c268c..b48cc44bb 100644 --- a/stdlib/source/library/lux/world/output/video/resolution.lux +++ b/stdlib/source/library/lux/world/output/video/resolution.lux @@ -10,21 +10,21 @@ [number ["." nat]]]]]) -(type: #export Resolution +(type: .public Resolution {#width Nat #height Nat}) -(def: #export hash +(def: .public hash (Hash Resolution) (product.hash nat.hash nat.hash)) -(def: #export equivalence +(def: .public equivalence (Equivalence Resolution) (\ ..hash &equivalence)) ## https://en.wikipedia.org/wiki/Display_resolution#Common_display_resolutions (template [<name> <width> <height>] - [(def: #export <name> + [(def: .public <name> Resolution {#width <width> #height <height>})] |