BatchedMatmul.Operand: type of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/tensor/batched_matmul.bend as BatchedMatmul
Lines 43-47 of bendtorch-core@0.1.0.0/src/tensor/batched_matmul.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/tensor/batched_matmul.bend&start_line=43&end_line=47

import Base

# An operand split into its batch and its matrix: the outer extent (rows of
# the left operand, columns of the right one) and the inner extent. A 1-D
# operand is a vector: an outer extent of 1 that the output drops.
type Operand is Data:
  Operand{batch: Batch, outer: U32, inner: U32, vector: Bool}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/tensor/batched_matmul.bend&name=Batch