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

import Base

# a unit's dimensions: g query heads (g·hd columns) over one key/value head (hd columns)
def dm_of(+dm: AttnDims) -> Dm:
  match dm:
    case AttnDims{+b, +t, +kv, +g, +hd, +sc}:
      Dm{t, g, hd, Nat.mul(g, hd), hd, sc}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.mul
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/main.bend&name=AttnDims
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/main.bend&name=Dm