type TotalMatmul

bendtorch-core@0.1.0.0 · src/tensor/matmul_LAWS.bend:216

import 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
import bendtorch-core@0.1.0.0/src/tensor/math_totality.bend as Totality

216type TotalMatmul<-left: Core.Dynamic, -right: Core.Dynamic,
217  -result: Result<&2, &1, Matrix.Error, Core.Dynamic & Core.Dynamic & Core.Dynamic>> is Data:
218  TotalMatmul{-done: Totality.Success<Matrix.Error, Core.Dynamic & Core.Dynamic & Core.Dynamic, result>,
219    -interpretation: SourceMatmul<left, right, result>}