AlphaGitHub
Source/Packages

Compiler.MachineX86

packages/compiler/src/Compiler/MachineX86.alpha

280 lines85 declarations12.4 KiBSHA-256 dfe71aa48e78
Download exact fileView at revisionf5034773ad4bb52133

def · lines 260–265

x86EncodeProgram

Full file
260def x86EncodeProgram =
261  (lambda erased input : (family X86MachineState) .
262    (lambda erased output : (family X86MachineState) .
263      (lambda erased effects : (family X86EffectTrace) .
264        (lambda unrestricted program : (family X86Program input output effects) .
265          (bytes-builder-build (x86EncodeProgramBuilder input output effects 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.