def word_at

bendtorch-core@0.1.0.0 · src/autograd/reduce_replayed_proof.bend:559

import bendtorch-core@0.1.0.0/src/autograd/reduce_replayed_proof.bend as ReduceReplayedProof

import Base
import bendtorch-core@0.1.0.0/src/storage/refinement.bend as Refinement
import bendtorch-core@0.1.0.0/src/storage/api.bend as Api

559# The word a strided read of `Api.arr(h, d, f)` gets.
560def word_at(+h: List<&2, Api.Effect>, +d: Nat, +f: F32, +at: Nat) -> F32:
561  Refinement.second(F32, Array.get(F32, Api.arr(h, d, f), U32.from_nat(at)))

Uses (8)

Used by (3)