def row_fin

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

import Base

1428def row_fin(-r: Nat, -c: Nat, al: AL) -> MRow<r, c>:
1429  match al:
1430    case AL{d, l}:
1431      MRow{Mat{d}, l}