def mv
import bend-ml-llama@0.2.1.0/main.bend as BendMlLlamaimport Base
import bend-ml-tensor-array@0.1.19.0/main.bend as TA
924# y = W · x, then `then` with W handed back and y (an Array has one owner, so a product returns its matrix)
925def mv(-B: Type, +r: Nat, +k: Nat, w: TA.Bands<r, k>, +x: List<&2, F32>, then: TA.Bands<r, k> -> List<&2, F32> -> B) -> B:
926 mv.go(B, r, k, TA.Bands.matvec_l(r, k, w, x), then)