def test_row

mlbend-split@0.1.1.0 · main.bend:152

import Base

152# The row, in the fold.
153def test_row(fold: Nat, f: Nat, +test: List<&2, Nat>, i: Nat) -> List<&2, Nat>:
154  Bool.pick(List<&2, Nat>, Nat.is_eq(fold, f), List.append(&2, Nat, test, Con{i, Nil{}}), test)