~/jendhub

def plan_status

bendtorch-core@0.1.0.0 · src/tensor/matmul_PROOF.bend:1132

import bendtorch-core@0.1.0.0/src/tensor/matmul_PROOF.bend as MatmulPROOF
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
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

1132def plan_status(+left: Shape.Shape, +right: Shape.Shape, -valid: Totality.MatrixInputs<left, right>) -> PlanStatus<left, right, Matrix.plan(left, right)>:
1133  plan_left_status(Shape.dimensions(left), left, right, {==}, valid)

Uses (6)

Used by (1)