def rope
import bend-ml-llama@0.2.1.0/main.bend as BendMlLlamaimport Base
444def rope(rt: Rot, h: Head) -> Head:
445 match rt h:
446 case Rot{+cs, +sn} Head{+lo, +hi}:
447 Head{rot_lo(lo, hi, cs, sn), rot_hi(lo, hi, cs, sn)}
import bend-ml-llama@0.2.1.0/main.bend as BendMlLlamaimport Base
444def rope(rt: Rot, h: Head) -> Head:
445 match rt h:
446 case Rot{+cs, +sn} Head{+lo, +hi}:
447 Head{rot_lo(lo, hi, cs, sn), rot_hi(lo, hi, cs, sn)}