def hits_checked

bend-ml-tensor-array@0.1.19.0 · main.bend:1466

import Base

1466def hits_checked(ok: Bool, +n: Nat, +c: Nat, z: Mat<n, c>, labels: List<&2, Nat>) -> Maybe<&1, MHits<n, c>>:
1467  match ok:
1468    case True{}:
1469      Some{Mat.count_correct(n, c, z, labels)}
1470    case False{}:
1471      None{}