def permute
import stelliferous@0.0.2.0/tensor_view.bend as TensorViewimport Base
175# Order must contain each axis exactly once, including singleton axes.
176def permute(+view: View,+order: List<&2,Nat>) -> Maybe<&2,View>:
177 permute_when(Nat.is_eq(rank(view),List.length(&2,Nat,order)) && unique_axes(order),view,order)