diff options
Diffstat (limited to 'stdlib/source/library/lux/type/unit/scale.lux')
| -rw-r--r-- | stdlib/source/library/lux/type/unit/scale.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/type/unit/scale.lux b/stdlib/source/library/lux/type/unit/scale.lux index c4aa8cbba..9eacbb81b 100644 --- a/stdlib/source/library/lux/type/unit/scale.lux +++ b/stdlib/source/library/lux/type/unit/scale.lux @@ -13,7 +13,7 @@ ["[0]" // (.only) ["/[1]" //]]) -(type: .public (Scale s) +(.type .public (Scale s) (Interface (is (All (_ u) (-> (//.Qty Any u) (//.Qty s u))) up) @@ -62,14 +62,14 @@ (scale [ratio.#numerator <order_of_magnitude> ratio.#denominator 1])) - (type: .public <up_type> + (.type .public <up_type> (~ (..type <up>))) (def .public <down> (scale [ratio.#numerator 1 ratio.#denominator <order_of_magnitude>])) - (type: .public <down_type> + (.type .public <down_type> (~ (..type <down>)))] [ 1,000 kilo Kilo milli Milli] |