BendMlTensorFork.join2: def of bend-ml-tensor-fork@0.1.6.0
Import: import bend-ml-tensor-fork@0.1.6.0/main.bend as BendMlTensorFork
Lines 52-57 of bend-ml-tensor-fork@0.1.6.0/main.bend: https://jend.leeeet.dev/read.txt?path=bend-ml-tensor-fork@0.1.6.0/main.bend&start_line=52&end_line=57

import Base

def join2(-A: Type, -B: Type, l: B2<A, B>, r: B2<A, B>) -> B2<A, B>:
  match l r:
    case B2{a, b} B2{a2, b2}:
      B2{Array.join(A, a, a2), Array.join(B, b, b2)}

@unsafe

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array.join
  https://jend.leeeet.dev/definition.txt?path=bend-ml-tensor-fork@0.1.6.0/main.bend&name=B2