~/jendhub

def pk_line

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

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

919# the cells of one line, cell o.. of t; q0 counts the line's numbers before the cell
920def pk_line(tl: Nat, +q0: U32, +lim: U32, +base: U32, +st: U32, +o: U32, r: PK) -> PK:
921  match tl r:
922    case 0n r:
923      r
924    case 1n+q PK{a, t}:
925      pk_line(q, (q0 + 8 : U32), lim, (base + (st * 8 : U32) : U32), st, (o + 1 : U32), pk_g0(q0, lim, base, st, o, t, Array.get(F32, a, base)))

Uses (8)

Used by (1)