def Flat.zip.fin

bend-tensors@0.0.0.2 · bend_tensors.bend:1856

import Base

1856def Flat.zip.fin(-rows: Nat, -cols: Nat, ab: Array<F32> & Array<F32>) -> Flat<rows, cols>:
1857  (a, b) = ab
1858  FlatS{a}