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 1039–1052

dataBytesWord32BE

Full file
1039def dataBytesWord32BE =
1040  (lambda unrestricted value : (family ModelWord32) .
1041    (eliminate
1042      ModelWord32
1043      (lambda unrestricted current : (family ModelWord32) . Bytes)
1044      value
1045      (branch
1046        ModelWord32Value
1047        b0
1048        b1
1049        b2
1050        b3
1051        .
1052        (bytes-cons b3 (bytes-cons b2 (bytes-cons b1 (bytes-cons b0 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.