AlphaGitHub
Source/Systems

Bob.Build.PhysicalComponents

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

470 lines80 declarations20.9 KiBSHA-256 d35b583e56d3
Download exact fileView at revision426597bda5753d86c4

def · lines 246–251

bobGatherBlock

Full file
246def bobGatherBlock =
247  (lambda unrestricted index : Nat .
248    (bobBlock
249      (bobPatch (bobArgument 0) (bobWord64 (naturalAdd bobLogitRowsAddress (naturalMultiply index bobRowBytes)))
250        (bobPatch (bobArgument 1) (bobWord64 (naturalAdd bobPromptBytesAddress (naturalMultiply index bobInputWordBytes)))
251          (bobPatch (bobArgument 2) (bobWord64 bobParametersAddress) bobNoPatches)))))

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.