def compatible
import bendtorch-core@0.1.0.0/src/tensor/batched_matmul.bend as BatchedMatmulimport Base
import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matrix
159def compatible(+left: Operand, +right: Operand, same: Bool) -> Result<&2, &2, Matrix.Error, Plan>:
160 match same:
161 case False{}:
162 Fail{Matrix.InnerDimensionMismatch{}}
163 case True{}:
164 shaped(left, right)
Uses (6)
Used by (5)
- bendtorch-core@0.1.0.0/src/tensor/batched_matmul:both_parsed
- bendtorch-core@0.1.0.0/src/tensor/batched_matmul_PROOF:dot_compatible
- bendtorch-core@0.1.0.0/src/tensor/batched_matmul_PROOF:geometry_decided
- bendtorch-core@0.1.0.0/src/tensor/batched_matmul_PROOF:geometry_ops
- bendtorch-core@0.1.0.0/src/tensor/batched_matmul_LAWS:batched_matmul_dot_inner_error