AlphaGitHub
Source/Packages

Compiler.NaturalMagnitudeArithmetic

packages/compiler/src/Compiler/NaturalMagnitudeArithmetic.alpha

592 lines29 declarations28.9 KiBSHA-256 9c904be71be4
Download exact fileView at revisionf5034773ad4bb52133

def · lines 302–311

magnitudeSubtractDigit

Full file
302def magnitudeSubtractDigit =
303  (lambda unrestricted digit : Byte .
304    (lambda unrestricted subtrahend : Nat .
305      (lambda unrestricted borrow : Nat .
306        (nat-to-byte
307          (Std.Natural/naturalSaturatingSubtract
308            (Std.Natural/naturalAdd
309              (byte-to-nat digit)
310              (Std.Natural/naturalMultiply borrow (byte-to-nat (byte 10))))
311            subtrahend)))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.