type Selected

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

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

226type Selected<-A: Data, -items: List<&2, A>, -index: Nat> is Data:
227  Selection{item: A, exact: {Axis.lookup(A, items, index) == Some{item} : Maybe<&2, A>}}