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 117–126

bobTableRowsValid

Full file
117def bobTableRowsValid =
118  (lambda unrestricted table : (family StdList (family StdList F32)) .
119    (stdListFold
120      (family StdList F32)
121      Nat
122      (lambda unrestricted row : (family StdList F32) .
123        (lambda unrestricted rest : Nat .
124          (naturalAnd (naturalEqual (stdListLength F32 row) bobVocabularySize) rest)))
125      1
126      table))

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.