def position_next

bendtorch-core@0.1.0.0 · src/tensor/axis_spec.bend:28

import Base

28def position_next(value: Maybe<&2, Nat>) -> Maybe<&2, Nat>:
29  match value:
30    case None{}:
31      None{}
32    case Some{index}:
33      Some{1n+index}