~/jendhub

def pk_lines

bend-ml-tensor-array@0.1.19.0 · main.bend:927

import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArray
import Base

927# lines count lines; source line i starts at i * lstep (in a), and goes to cell row o (cells o * tku .. in t)
928def pk_lines(cnt: Nat, +tk: Nat, +tku: U32, +ku: U32, +i: U32, +o: U32, +lstep: U32, +st: U32, r: PK) -> PK:
929  match cnt:
930    case 0n:
931      r
932    case 1n+p:
933      pk_lines(p, tk, tku, ku, (i + 1 : U32), (o + 1 : U32), lstep, st, pk_line(tk, 0, ku, (i * lstep : U32), st, (o * tku : U32), r))

Uses (6)

Used by (3)