type Bands
import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArrayimport Base
1574type Bands<-r: Nat, -c: Nat> is Type:
1575 BLeaf{m: Mat<r, c>}
1576 BNode{x: Bands<half(r), c>, y: Bands<Nat.sub(r, half(r)), c>}
import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArrayimport Base
1574type Bands<-r: Nat, -c: Nat> is Type:
1575 BLeaf{m: Mat<r, c>}
1576 BNode{x: Bands<half(r), c>, y: Bands<Nat.sub(r, half(r)), c>}