~/jendhub

law successful_matmul_interpretation

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

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

140law successful_matmul_interpretation:
141  for left: Core.Dynamic
142  for right: Core.Dynamic
143  SourceMatmul<left, right, Matrix.matmul(left, right)>

Uses (5)

Used by (1)