def bl_join

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

import Base

1762def bl_join(-r: Nat, -c: Nat, p: BRow<half(r), c>, q: BRow<Nat.sub(r, half(r)), c>) -> BRow<r, c>:
1763  match p q:
1764    case BRow{bx, xs} BRow{by, ys}:
1765      BRow{BNode{bx, by}, List.append(&2, F32, xs, ys)}