def plan_facts
bendtorch-core@0.1.0.0 · src/tensor/contracts/matmul_proof.bend:91
import bendtorch-core@0.1.0.0/src/tensor/contracts/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
91def plan_facts(+left: Shape.Shape, +right: Shape.Shape, +plan: Matrix.Plan<left, right>,
92 planned: {Matrix.plan(left, right) == Done{plan} : Result<&2, &2, Matrix.Error, Matrix.Plan<left, right>>}) ->
93 Facts(left, right, Done{plan}):
94 %planned : Facts(left, right, _)
95 facts_left(left, right, Shape.dimensions(left), {==})