def tkv_k
import bendtorch-gpu@1.3.0.0/main.bend as BendtorchGpuimport Base
import bend-ml-tensor-gpu@0.1.5.0/main.bend as TG
713# both: cells [0, nk) are kᵀ's from k, the next nk vᵀ's from v (S4{k, v, kᵀ, vᵀ})
714def tkv_k(v: Array<F32>, vt: Array<F32>, r: TG.O2) -> S4:
715 match r:
716 case TG.O2{k, kt}: S4{k, v, kt, vt}