def dfin
import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArrayimport Base
54def dfin(k: Nat, +ia: U32, +ib: U32, +sa: U32, +sb: U32, s: D4) -> R:
55 match s:
56 case D4{a0, a1, a2, a3, ra, rb}:
57 dotr(k, ia, ib, sa, sb, a0, a1, a2, a3, ra, rb)