~/jendhub

def count_true.go

mlbend-metrics@0.1.0.0 · main.bend:51

import mlbend-metrics@0.1.0.0/main.bend as MlbendMetrics
import Base

51# the number of samples whose true label is k
52def count_true.go(ys: List<&2, Nat>, +k: Nat, n: Nat) -> Nat:
53  match ys:
54    case Nil{}:
55      n
56    case Con{y, yt}:
57      count_true.go(yt, k, (n + same(y, k) : Nat))

Uses (4)

Used by (1)