law transpose_result_interpretation

bendtorch-core@0.1.0.0 · src/tensor/transform_LAWS.bend:248

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/core.bend as Core
import bendtorch-core@0.1.0.0/src/tensor/transforms.bend as Transforms

248law transpose_result_interpretation:
249  for +input: Shape.Shape
250  for source: Core.Tensor<input>
251  for +a: U32
252  for +b: U32
253  Transforms.PublicModel<input, Layout.transpose_axes(Shape.dimensions(input), a, b, 0), source,
254    Transforms.transpose_copy(input, source, a, b)>