AlphaGitHub
Source/Systems

Bob.Prediction

systems/bob/src/Bob/Prediction.alpha

132 lines21 declarations4.9 KiBSHA-256 cb7531dfdc83
Download exact fileView at revision426597bda5753d86c4

def · lines 90–97

bobArgmaxPositionOrZero

Full file
90def bobArgmaxPositionOrZero =
91  (lambda unrestricted state : (family BobArgmaxState) .
92    (eliminate
93      BobArgmaxState
94      (lambda unrestricted current : (family BobArgmaxState) . Nat)
95      state
96      (branch BobArgmaxEmpty . 0)
97      (branch BobArgmaxValue position logit . position)))

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.