AlphaGitHub
Source/Packages

Runtime.NativeHostTarget

packages/execution/src/Runtime/NativeHostTarget.alpha

56 lines6 declarations2.7 KiBSHA-256 0d1bb180932b
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 31–38

nativeHostTargetProgramBytes

Full file
31def nativeHostTargetProgramBytes =
32  (lambda unrestricted target : (family NativeHostTarget) .
33    (lambda unrestricted program : (family NativePhysicalProgram) .
34      (eliminate
35        NativeHostTarget
36        (lambda unrestricted current : (family NativeHostTarget) . Bytes)
37        target
38        (branch NativeHostTargetOf emit . (emit program)))))

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.