AlphaGitHub
Source/Packages

Data.Bytes

packages/foundation/standard/src/Data/Bytes.alpha

1,462 lines172 declarations57.0 KiBSHA-256 55edb6a9adcd
Download exact fileView at revisionf5034773ad4bb52133

def · lines 1024–1037

dataBytesWord32LE

Full file
1024def dataBytesWord32LE =
1025  (lambda unrestricted value : (family ModelWord32) .
1026    (eliminate
1027      ModelWord32
1028      (lambda unrestricted current : (family ModelWord32) . Bytes)
1029      value
1030      (branch
1031        ModelWord32Value
1032        b0
1033        b1
1034        b2
1035        b3
1036        .
1037        (bytes-cons b0 (bytes-cons b1 (bytes-cons b2 (bytes-cons b3 b"")))))))

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.