def brow_leaf

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

import Base

1733def brow_leaf(-r: Nat, -c: Nat, m: Mat<r, c>, +i: U32, n: Nat) -> BRow<r, c>:
1734  match m:
1735    case Mat{d}:
1736      brow_leaf2(r, c, n, i, d)