def coordinate
import bendtorch-core@0.1.0.0/src/tensor/permute_build.bend as PermuteBuildimport Base
90def coordinate(+pick: Pick, +x: Nat) -> Nat:
91 Pick{+mods, +size} = pick
92 digit(mods, size, x)
import bendtorch-core@0.1.0.0/src/tensor/permute_build.bend as PermuteBuildimport Base
90def coordinate(+pick: Pick, +x: Nat) -> Nat:
91 Pick{+mods, +size} = pick
92 digit(mods, size, x)