def count_pred.go

mlbend-metrics@0.1.0.0 · main.bend:62

import Base

62# the number of samples whose predicted label is k
63def count_pred.go(ps: List<&2, Nat>, +k: Nat, n: Nat) -> Nat:
64  match ps:
65    case Nil{}:
66      n
67    case Con{p, pt}:
68      count_pred.go(pt, k, (n + same(p, k) : Nat))