diff options
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>})] |