Source/Systems

Bob.Build.PhysicalComponents

systems/bob/src/Bob/Build/PhysicalComponents.alpha

470 lines80 declarations20.9 KiBSHA-256 d35b583e56d3

def · lines 52–58

bobAdamMachineBytes

Full file
52def bobAdamMachineBytes : Bytes =
53  (eliminate
54    AdamWF32SM86ImageResult
55    (lambda unrestricted current : (family AdamWF32SM86ImageResult) . Bytes)
56    bobOptimizerImage
57    (branch AdamWF32SM86ImageReady image digest encoding identity telemetry . image)
58    (branch AdamWF32SM86ImageFailed error ordinal detail telemetry . 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.