def at
import bendtorch-core@0.1.0.0/src/tensor/permute_build.bend as PermuteBuildimport Base
115# The input word index output cell `position` reads.
116def at(+recipe: Recipe, +position: Nat) -> U32:
117 U32.from_nat(source(recipe, position))
Uses (5)
Used by (8)
- bendtorch-core@0.1.0.0/src/tensor/permute_build_proof:cell_eq
- bendtorch-core@0.1.0.0/src/tensor/permute_build_proof:source_word
- bendtorch-core@0.1.0.0/src/tensor/permute_build:read
- bendtorch-core@0.1.0.0/src/tensor/permute_build_proof:cell_keeps
- bendtorch-core@0.1.0.0/src/tensor/permute_build_proof:cell_read
- …