def bv_fin

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

import Base

1698def bv_fin(+r: Nat, -c: Nat, bl: BL<r, c>) -> BV<r, c>:
1699  match bl:
1700    case BL{b, y}:
1701      BV{b, Mat.from_list(1n, r, y)}