def test_of

mlbend-split@0.1.1.0 · main.bend:189

import Base

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