def permute_dynamic
import bendtorch-core@0.1.0.0/src/tensor/transforms.bend as Transformsimport Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
275def permute_dynamic(dynamic: Core.Dynamic, axes: List<&2, U32>) -> Core.Dynamic & Result<&2, &1, Error, Core.Dynamic>:
276 Core.Packed{+input, source} = dynamic
277 dynamic_result(input, permute_copy(input, source, axes))
Uses (8)
Used by (4)
- bendtorch-core@0.1.0.0/src/tensor/transform_totality:PermutationRestoration
- bendtorch-core@0.1.0.0/src/tensor/transform_PROOF:transpose_restoration_certificate
- bendtorch-core@0.1.0.0/src/tensor/permute_values_contract_LAWS:permute_replayed
- bendtorch-core@0.1.0.0/src/tensor/signed_LAWS:signed_permute_dynamic_wraps