def fill_band
import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArrayimport Base
1613def fill_band(-r: Nat, -c: Nat, n: Nat, xs: List<&2, F32>, +i: U32, m: Mat<r, c>) -> Mat<r, c>:
1614 match m:
1615 case Mat{d}:
1616 Mat{fill_n(n, xs, i, d)}