~/jendhub

def count_true

mlbend-metrics@0.1.0.0 · main.bend:59

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

59def count_true(ys: List<&2, Nat>, k: Nat) -> Nat:
60  count_true.go(ys, k, 0n)

Uses (3)

Used by (2)