def count_right.go

mlbend-metrics@0.1.0.0 · main.bend:85

import Base

85# the number of samples predicted right
86def count_right.go(ys: List<&2, Nat>, ps: List<&2, Nat>, n: Nat) -> Nat:
87  match ys ps:
88    case Con{y, yt} Con{p, pt}:
89      count_right.go(yt, pt, (n + same(y, p) : Nat))
90    case _ _:
91      n