def HMat.words

bendtorch@1.3.0.0 · dtype.bend:260

import Base

260# the words of a packed matrix, for printing and tests
261def HMat.words(+r: Nat, +c: Nat, h: HMat<r, c>) -> List<&2, U32>:
262  match h:
263    case HMat{d}:
264      ul_list(read_u(Nat.sub(hwords(Nat.mul(r, c)), 1n), 0, Nil{}, Array.get(U32, d, 0)))