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 236–244

bobLossBlock

Full file
236def bobLossBlock =
237  (lambda unrestricted lossAddress : Nat .
238    (bobBlock
239      (bobPatch (bobArgument 0) (bobWord64 bobParametersAddress)
240        (bobPatch (bobArgument 1) (bobWord64 bobGradientsAddress)
241          (bobPatch (bobArgument 2) (bobWord64 bobTargetsAddress)
242            (bobPatch (bobArgument 3) (bobWord64 lossAddress)
243              (bobPatch (bobArgument 6) (bobWord64 (bobWordPair float32Log2E float32Ln2))
244                (bobPatch (bobArgument 7) (bobWord64 (bobWordPair bobInverseRows 0)) 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.