~/jendhub

def last_coordinates

stelliferous@0.0.2.0 · tensor_view.bend:118

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

118def last_coordinates(axes: List<&2,Axis>) -> List<&2,U32>:
119  match axes:
120    case Nil{}: Nil{}
121    case Con{Axis{size,stride},tail}: (size - 1 : U32) <> last_coordinates(tail)

Uses (4)

Used by (1)