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 253–258

bobArgmaxBlock

Full file
253def bobArgmaxBlock =
254  (lambda unrestricted index : Nat .
255    (bobBlock
256      (bobPatch (bobArgument 0) (bobWord64 (naturalAdd bobPredictionsAddress (naturalMultiply index bobPredictionBytes)))
257        (bobPatch (bobArgument 1) (bobWord64 (naturalAdd bobLogitRowsAddress (naturalMultiply index bobRowBytes)))
258          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.