type SourceMatmul
import bendtorch-core@0.1.0.0/src/tensor/matmul_LAWS.bend as MatmulLAWSimport Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matrix
137type SourceMatmul<-a: Core.Dynamic, -b: Core.Dynamic, -result: Result<&2, &1, Matrix.Error, Core.Dynamic & Core.Dynamic & Core.Dynamic>> is Data:
138 SourceMatmul{-meaning: @unit: Unit -> MatmulMeaning(a, b, result)}
Uses (6)
Used by (6)
- bendtorch-core@0.1.0.0/src/tensor/matmul_LAWS:TotalMatmul
- bendtorch-core@0.1.0.0/src/tensor/matmul_LAWS:successful_matmul_interpretation
- bendtorch-core@0.1.0.0/src/tensor/matmul_PROOF:allocated_source
- bendtorch-core@0.1.0.0/src/tensor/matmul_PROOF:multiply_source
- bendtorch-core@0.1.0.0/src/tensor/matmul_PROOF:output_source
- …