~/jendhub

def count_pred

mlbend-metrics@0.1.0.0 · main.bend:70

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

70def count_pred(ps: List<&2, Nat>, k: Nat) -> Nat:
71  count_pred.go(ps, k, 0n)

Uses (3)

Used by (2)