def terms_of
import bendtorch-core@0.1.0.0/src/tensor/batched_matmul.bend as BatchedMatmulimport Base
297def terms_of(+given: Layout) -> Nat:
298 Layout{lo, ro, +inner, rows, columns, l1, l2, r1, r2, o2} = given
299 inner
import bendtorch-core@0.1.0.0/src/tensor/batched_matmul.bend as BatchedMatmulimport Base
297def terms_of(+given: Layout) -> Nat:
298 Layout{lo, ro, +inner, rows, columns, l1, l2, r1, r2, o2} = given
299 inner