def f1

mlbend-metrics@0.1.0.0 · main.bend:323

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

323def f1(+ys: List<&2, Nat>, +ps: List<&2, Nat>, +k: Nat) -> Result<&1, &1, Bad, F32>:
324  f1.go(pairs(&2, Nat, ys, ps), ys, ps, k)

Uses (7)

Used by (0)

No other definition uses this definition.