def bv_join

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

import Base

1681def bv_join(-r: Nat, -c: Nat, p: BL<half(r), c>, q: BL<Nat.sub(r, half(r)), c>) -> BL<r, c>:
1682  match p q:
1683    case BL{bx, yx} BL{by, yy}:
1684      BL{BNode{bx, by}, List.append(&2, F32, yx, yy)}