Matmul.dims: def of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matmul
Lines 294-297 of bendtorch-core@0.1.0.0/src/tensor/matmul.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/tensor/matmul.bend&start_line=294&end_line=297

import Base

# Each thread below the forks reads its own copy.
def dims(+given: Dims) -> Dims:
  Dims{+inner, +columns} = given
  Dims{inner, columns}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/tensor/matmul.bend&name=Dims