Bendtorch.prow3: def of bendtorch@1.3.0.0
Import: import bendtorch@1.3.0.0/main.bend as Bendtorch
Lines 2415-2419 of bendtorch@1.3.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=bendtorch@1.3.0.0/main.bend&start_line=2415&end_line=2419

import Base

# the softmax over the n numbers pw wrote; the row's count is the one the softmax reports
def prow3(+off: U32, q: Array<F32>, k: Array<F32>, w: PW) -> PR:
  match w:
    case PW{p, +n}:
      pr_of(q, k, psmc(n, off, p))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/main.bend&name=PR
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/main.bend&name=PW
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/main.bend&name=pr_of
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/main.bend&name=psmc