def words_dimensions
bendtorch-core@0.1.0.0 · src/autograd/gradient_PROOF.bend:86
import bendtorch-core@0.1.0.0/src/autograd/gradient_PROOF.bend as GradientPROOF
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/layout.bend as Layout
import bendtorch-core@0.1.0.0/src/tensor/transform_PROOF.bend as TransformProof
86def words_dimensions(+left: Shape.Shape, +right: Shape.Shape,
87 -decided: {True{} == Layout.words_same(Shape.dimensions(left), Shape.dimensions(right)) : Bool}) ->
88 Holds<{Shape.dimensions(left) == Shape.dimensions(right) : List<&2, U32>}>:
89 Holds{TransformProof.words_equal(Shape.dimensions(left), Shape.dimensions(right), decided)}