def product_shape
import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matmulimport Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
736def product_shape(-lo: Order, -ro: Order, -left: Shape.Shape, -right: Shape.Shape, plan: Product<lo, ro, left, right>) -> Shape.Shape:
737 Product{shape, rows, inner, right_inner, columns, le, re, oe, compatible} = plan
738 shape