def planned_dimensions
bendtorch-core@0.1.0.0 · src/shape/LAWS.bend:26
import bendtorch-core@0.1.0.0/src/shape/LAWS.bend as LAWS
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
26def planned_dimensions(left: Shape.Shape, right: Shape.Shape, result: Result<&2, &2, Shape.Error, Shape.BroadcastPlan>) -> List<&2, U32> & List<&2, U32>:
27 match result:
28 case Fail{error}:
29 (Shape.dimensions(left), Shape.dimensions(right))
30 case Done{+plan}:
31 (Shape.dimensions(Shape.left_shape(plan)), Shape.dimensions(Shape.right_shape(plan)))