MlbendReport.report: def of mlbend-report@0.1.0.0
Import: import mlbend-report@0.1.0.0/main.bend as MlbendReport
Lines 252-254 of mlbend-report@0.1.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=mlbend-report@0.1.0.0/main.bend&start_line=252&end_line=254

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

def report(+ys: List<&2, Nat>, +ps: List<&2, Nat>, +k: Nat) ->
  Result<&1, &1, M.Bad, Report>:
  report.go(M.pairs(&2, Nat, ys, ps), ys, ps, k)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=mlbend-metrics@0.1.0.0/main.bend&name=Bad
  https://jend.leeeet.dev/definition.txt?path=mlbend-metrics@0.1.0.0/main.bend&name=pairs
  https://jend.leeeet.dev/definition.txt?path=mlbend-report@0.1.0.0/main.bend&name=Report
  https://jend.leeeet.dev/definition.txt?path=mlbend-report@0.1.0.0/main.bend&name=report.go