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 315–321

modelWord32LeastBit

Full file
315def modelWord32LeastBit =
316  (lambda unrestricted value : (family ModelWord32) .
317    (eliminate
318      ModelWord32
319      (lambda unrestricted current : (family ModelWord32) . Nat)
320      value
321      (branch ModelWord32Value b0 b1 b2 b3 . (byte-to-nat (byteAnd b0 (byte 1))))))

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.