BatchedMatmul.Layout: type of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/tensor/batched_matmul.bend as BatchedMatmul
Lines 194-200 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=194&end_line=200

import Base
import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matrix

# What every cell of a build reads: the orders and extents of the product
# (as in `Matrix.Layout`), and each operand's padded batch extents with the
# output's second batch extent, which splits a batch number into its two
# indices.
type Layout is Data:
  Layout{left: Matrix.Order, right: Matrix.Order, inner: Nat, rows: Nat, columns: Nat,
    l1: Nat, l2: Nat, r1: Nat, r2: Nat, o2: Nat}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/tensor/matmul.bend&name=Order