def Q8.lists

bendtorch@1.3.0.0 · dtype.bend:410

import Base

410def Q8.lists(+r: Nat, +c: Nat, w: Q8<r, c>) -> QL:
411  match w:
412    case Q8{q, s}:
413      QL{ul_list(read_u(Nat.sub(Nat.div(Nat.add(Nat.mul(r, c), 3n), 4n), 1n), 0, Nil{}, Array.get(U32, q, 0))), fl_list(read_f(Nat.sub(r, 1n), 0, Nil{}, Array.get(F32, s, 0)))}