def read
import bendtorch-core@0.1.0.0/src/tensor/slice.bend as Sliceimport Base
218def read(+plan: Plan, +position: Nat, state: Array<F32> & Array<F32>) -> F32 & (Array<F32> & Array<F32>):
219 (a, b) = state
220 take(b, Array.get(F32, a, U32.from_nat(source(plan, position))))