def bv_g

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

import Base

1660# the band's 1 + m rows came out in an Array (one number per row); read them back as a list
1661def bv_g(-r: Nat, -c: Nat, +m: Nat, g: G) -> BL<r, c>:
1662  match g:
1663    case G{a, b, y}:
1664      bv_g2(r, c, b, read_l(m, U32.from_nat(m), Nil{}, Array.get(F32, y, U32.from_nat(m))))