def count_right

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

import Base

93def count_right(ys: List<&2, Nat>, ps: List<&2, Nat>) -> Nat:
94  count_right.go(ys, ps, 0n)

Uses (3)