def position
import bendtorch-core@0.1.0.0/src/tensor/contracts/sum.bend as Sumimport Base
12def position(plan: Unit, index: Nat) -> Nat:
13 index
import bendtorch-core@0.1.0.0/src/tensor/contracts/sum.bend as Sumimport Base
12def position(plan: Unit, index: Nat) -> Nat:
13 index