def brow_l

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

import Base

1738def brow_l(-r: Nat, -c: Nat, p: BRow<half(r), c>, y: Bands<Nat.sub(r, half(r)), c>) -> BRow<r, c>:
1739  match p:
1740    case BRow{bx, row}:
1741      BRow{BNode{bx, y}, row}