def permuted

stelliferous@0.0.2.0 · tensor_layout.bend:81

import Base
import stelliferous@0.0.2.0/tensor_view.bend as Views

81def permuted(view: Maybe<&2,Views.View>,order: List<&2,Nat>) -> Maybe<&2,Views.View>:
82  match view:
83    case Some{view}: Views.permute(view,order)
84    case None{}: None{}