BendMlTensorArray.t8_pk2: def of bend-ml-tensor-array@0.1.19.0
Import: import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArray
Lines 1022-1025 of bend-ml-tensor-array@0.1.19.0/main.bend: https://jend.leeeet.dev/read.txt?path=bend-ml-tensor-array@0.1.19.0/main.bend&start_line=1022&end_line=1025

import Base

def t8_pk2(pa: PK, pb: PK) -> PKK:
  match pa pb:
    case PK{a, ta} PK{b, tb}:
      PKK{a, b, ta, tb}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=bend-ml-tensor-array@0.1.19.0/main.bend&name=PK
  https://jend.leeeet.dev/definition.txt?path=bend-ml-tensor-array@0.1.19.0/main.bend&name=PKK