def t8_pk2

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

import Base

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