def brow_r

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

import Base

1743def brow_r(-r: Nat, -c: Nat, x: Bands<half(r), c>, q: BRow<Nat.sub(r, half(r)), c>) -> BRow<r, c>:
1744  match q:
1745    case BRow{by, row}:
1746      BRow{BNode{x, by}, row}