def rope

bend-ml-llama@0.2.0.0 · main.bend:443

import bend-ml-llama@0.2.0.0/main.bend as BendMlLlama

import Base

443def rope(rt: Rot, h: Head) -> Head:
444  match rt h:
445    case Rot{+cs, +sn} Head{+lo, +hi}:
446      Head{rot_lo(lo, hi, cs, sn), rot_hi(lo, hi, cs, sn)}

Uses (4)

Used by (1)

bend-ml-llama@0.2.0.0/main:ropes