MlbendSplit.test_of: def of mlbend-split@0.1.1.0
Import: import mlbend-split@0.1.1.0/main.bend as MlbendSplit
Lines 189-191 of mlbend-split@0.1.1.0/main.bend: https://jend.leeeet.dev/read.txt?path=mlbend-split@0.1.1.0/main.bend&start_line=189&end_line=191

import Base

# The rows of the fold f: the ones that test.
def test_of(fs: List<&2, Nat>, f: Nat) -> List<&2, Nat>:
  test_of_go(fs, f, 0n, Nil{})

Uses (3):
  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=mlbend-split@0.1.1.0/main.bend&name=test_of_go