~/jendhub

def Mat.count_correct_checked

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

import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArray
import Base

1473# like Mat.count_correct, but returns None unless labels has exactly n entries
1474def Mat.count_correct_checked(+n: Nat, +c: Nat, z: Mat<n, c>, +labels: List<&2, Nat>) -> Maybe<&1, MHits<n, c>>:
1475  hits_checked(labels_len_is(labels, n), n, c, z, labels)

Uses (7)

Used by (0)

No other definition uses this definition.