def row

mlbend-report@0.1.0.0 · main.bend:82

import mlbend-report@0.1.0.0/main.bend as MlbendReport

import Base

82# The row of the class i: k cells, ascending.
83def row(ys: List<&2, Nat>, ps: List<&2, Nat>, +k: Nat, +i: Nat) -> List<&2, Nat>:
84  row_from(ys, ps, k, i, k, 0n)

Uses (3)

Used by (1)

mlbend-report@0.1.0.0/main:matrix_from