AlphaGitHub
Source/Packages

Model.Word32

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

508 lines41 declarations18.3 KiBSHA-256 7f230128ec8c
Download exact fileView at revision426597bda5753d86c4

def · lines 488–490

modelWord32DecimalDigit

Full file
The value of one ASCII decimal digit byte (0x30..0x39) as a word.
488def modelWord32DecimalDigit =
489  (lambda unrestricted digit : Byte .
490    (constructor ModelWord32 ModelWord32Value (byteAnd digit (byte 15)) (byte 0) (byte 0) (byte 0)))

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.