def requested_axes
import bendtorch-core@0.1.0.0/src/tensor/transpose_spec.bend as TransposeSpecimport Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
41def requested_axes(+rank: Nat, +a: Nat, +b: Nat) -> List<&2, U32>:
42 Shape.words(natural_axes(rank, a, b))
Uses (5)
Used by (15)
- bendtorch-core@0.1.0.0/src/tensor/transpose_PROOF:transpose_axes_requested
- bendtorch-core@0.1.0.0/src/tensor/transpose_PROOF:valid_axes
- bendtorch-core@0.1.0.0/src/tensor/transform_totality:transpose_reference
- bendtorch-core@0.1.0.0/src/tensor/transpose_PROOF:AxesFacts
- bendtorch-core@0.1.0.0/src/tensor/transpose_spec:swapped_axes
- …