def rot_hi
import bend-ml-llama@0.2.1.0/main.bend as BendMlLlamaimport Base
437def rot_hi(h1: List<&2, F32>, h2: List<&2, F32>, cs: List<&2, F32>, sn: List<&2, F32>) -> List<&2, F32>:
438 match h1 h2 cs sn:
439 case Con{+a, ta} Con{+b, tb} Con{+c, tc} Con{+s, ts}:
440 ((b * c : F32) + (a * s : F32) : F32) <> rot_hi(ta, tb, tc, ts)
441 case _ _ _ _:
442 Nil{}