AlphaGitHub
Source/Packages

Model.Word64

packages/foundation/standard/src/Model/Word64.alpha

798 lines53 declarations27.4 KiBSHA-256 e976f120a70c
Download exact fileView at revisionf5034773ad4bb52133

def · lines 45–52

modelWord64ArithmeticErrorCodeBytes

Full file
45def modelWord64ArithmeticErrorCodeBytes =
46  (lambda unrestricted code : (family ModelWord64ArithmeticErrorCode) .
47    (eliminate
48      ModelWord64ArithmeticErrorCode
49      (lambda unrestricted current : (family ModelWord64ArithmeticErrorCode) . Bytes)
50      code
51      (branch ModelWord64AdditionOverflow . b"ALPHA-MODEL-W64-001")
52      (branch ModelWord64SubtractionUnderflow . b"ALPHA-MODEL-W64-002")))

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.