def Flat.add_row

bend-tensors@0.0.0.2 · bend_tensors.bend:1919

import Base

1919# v added to every row; v is a Vec, Data, so it is shared, not consumed
1920def Flat.add_row(+rows: Nat, +cols: Nat, m: Flat<rows, cols>, +v: Vec<cols>) -> Flat<rows, cols>:
1921  FlatS{a} = m
1922  FlatS{Flat.add_row.go(rows, cols, U32.from_nat(cols), 0, Vec.to_list(cols, v), a)}