Source/Systems

Bob.Build.BigramLossGradientSM86

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

290 lines64 declarations15.9 KiBSHA-256 bd09487b2999

def · lines 68–72

bobBigramU32

Full file
68def bobBigramU32 =
69  (lambda unrestricted b0 : Byte .
70    (lambda unrestricted b1 : Byte .
71      (lambda unrestricted b2 : Byte .
72        (lambda unrestricted b3 : Byte . (sm86Unsigned32 b0 b1 b2 b3)))))

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.