def read
import bendtorch-core@0.1.0.0/src/tensor/gather.bend as Gatherimport Base
261def read(+plan: Plan, +at: Nat, state: Array<F32> & Array<U32>) -> F32 & (Array<F32> & Array<U32>):
262 (a, index) = state
263 looked(plan, at, a, Array.get(U32, index, U32.from_nat(entry(plan, at))))