def picked_at

bendtorch-core@0.1.0.0 · src/tensor/slice_PROOF.bend:801

import bendtorch-core@0.1.0.0/src/tensor/slice_PROOF.bend as SlicePROOF

import Base

801def picked_at(+outer: Nat, +extent: Nat, +inner: Nat, +start: Nat, +step: Nat, +length: Nat, +row: Nat, +within: Nat, +i: Nat) ->
802  Maybe<&2, Nat>:
803  picked_k(outer, extent, inner, start, step, length, row, within, i, Nat.div(Nat.sub(i, start), step))

Uses (5)

Used by (4)