AlphaGitHub
Source/Packages

Model.Word32

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

492 lines41 declarations17.0 KiBSHA-256 eb985612415b
Download exact fileView at revisionf5034773ad4bb52133

def · lines 472–474

modelWord32DecimalDigit

Full file
The value of one ASCII decimal digit byte (0x30..0x39) as a word.
472def modelWord32DecimalDigit =
473  (lambda unrestricted digit : Byte .
474    (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.