type Factors
import bendtorch-core@0.1.0.0/src/tensor/dot_fold.bend as DotFoldimport Base
3# The specification of one matrix-product cell: fold the factor pairs in
4# list order, adding each product to the accumulator. It holds no law, so
5# modules that state totals with it do not import the matmul proofs.
6type Factors is Data:
7 Factors{left: F32, right: F32}