AlphaGitHub
Source/Packages

Std.Word

packages/foundation/standard/src/Std/Word.alpha

1,783 lines192 declarations64.2 KiBSHA-256 27bf8c3f30ee
Download exact fileView at revision3c600751929f56cd01

def · lines 1300–1301

stdU32AllOnes

Full file
U32: Model.Word32 is frozen and has no subtract/complement, so the wrapping subtract is built here (a - b = a + not b + 1), then the same restoring division over the four-byte word.
1300def stdU32AllOnes =
1301  (constructor ModelWord32 ModelWord32Value (byte 255) (byte 255) (byte 255) (byte 255))

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.