def Dims
bendtorch-core@0.1.0.0 · src/autograd/gradient_PROOF.bend:232
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/autograd/gradient.bend as Gradient
import bendtorch-core@0.1.0.0/src/autograd/gradient_LAWS.bend as Laws
232def Dims(+shape: Shape.Shape, after: Gradient.Slot) -> Type:
233 {Laws.held_dimensions(after) == Some{Shape.dimensions(shape)} : Maybe<&2, List<&2, U32>>}