def located

bendtorch-core@0.1.0.0 · src/tensor/permute_build.bend:50

import bendtorch-core@0.1.0.0/src/tensor/permute_build.bend as PermuteBuild

import Base

50def located(+dims: List<&2, Nat>, position: Maybe<&2, Nat>) -> Maybe<&2, Pick>:
51  match position:
52    case None{}:
53      None{}
54    case Some{k}:
55      pick_at(dims, k)

Uses (5)

Used by (3)