def select_next

bendtorch-core@0.1.0.0 · src/tensor/axis_algebra.bend:65

import Base
import bendtorch-core@0.1.0.0/src/tensor/axis_spec.bend as Axis

65def select_next(-head: U32, +tail: List<&2, U32>, +index: Maybe<&2, Nat>) ->
66  {Axis.select(U32, head <> tail, Axis.position_next(index)) == Axis.select(U32, tail, index) : Maybe<&2, U32>}:
67  match index:
68    case None{}:
69      {==}
70    case Some{value}:
71      {==}