def brow_fin

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

import Base

1720def brow_fin(-r: Nat, -c: Nat, al: AL) -> BRow<r, c>:
1721  match al:
1722    case AL{d, l}:
1723      BRow{BLeaf{Mat{d}}, l}