AlphaGitHub
Source/Systems

Bob.Build.NativeHost

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

882 lines46 declarations32.2 KiBSHA-256 3f8d3aa22d4e
Download exact fileView at revision426597bda5753d86c4

def · lines 656–662

bobRealizedAddresses

Full file
---- AdamW's step-dependent scalars ----
656def bobRealizedAddresses =
657  (lambda unrestricted realized : (family BobRealizedTables) .
658    (eliminate
659      BobRealizedTables
660      (lambda unrestricted current : (family BobRealizedTables) . Bytes)
661      realized
662      (branch BobRealizedTablesValue addresses words . addresses)))

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.