def count_both
import mlbend-metrics@0.1.0.0/main.bend as MlbendMetricsimport Base
82def count_both(ys: List<&2, Nat>, ps: List<&2, Nat>, k: Nat) -> Nat:
83 count_both.go(ys, ps, k, 0n)
import mlbend-metrics@0.1.0.0/main.bend as MlbendMetricsimport Base
82def count_both(ys: List<&2, Nat>, ps: List<&2, Nat>, k: Nat) -> Nat:
83 count_both.go(ys, ps, k, 0n)