AlphaGitHub
Source/Packages

Compiler.ELF

packages/compiler/src/Compiler/ELF.alpha

282 lines59 declarations11.1 KiBSHA-256 88f2369f1a73
Download exact fileView at revisionf5034773ad4bb52133

def · lines 147–154

elfModelWord64Bytes

Full file
Encode a model word in the little-endian byte order used by ELF64 fields.
147def elfModelWord64Bytes =
148  (lambda unrestricted value : (family ModelWord64) .
149    (eliminate
150      ModelWord64
151      (lambda unrestricted current : (family ModelWord64) . Bytes)
152      value
153      (branch ModelWord64Value b0 b1 b2 b3 b4 b5 b6 b7 .
154        (bytes b0 b1 b2 b3 b4 b5 b6 b7))))

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.