def axes

stelliferous@0.0.2.0 · tensor_cursor.bend:19

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

19def axes(source: List<&2,Views.Axis>,reversed: List<&2,Axis>) -> List<&2,Axis>:
20  match source:
21    case []: reversed
22    case Views.Axis{+extent,stride} <> tail:
23      axes(tail,include_axis(U32.is_lt(1,extent),extent,stride,reversed))