def unique_axes

stelliferous@0.0.2.0 · tensor_view.bend:152

import stelliferous@0.0.2.0/tensor_view.bend as TensorView

import Base

152def unique_axes(order: List<&2,Nat>) -> Bool:
153  match order:
154    case Nil{}: True{}
155    case Con{axis,+tail}: Bool.not(contains_index(tail,axis)) && unique_axes(tail)

Uses (6)

Used by (1)

stelliferous@0.0.2.0/tensor_view:permute