def take
import bendtorch-core@0.1.0.0/src/tensor/permute_build.bend as PermuteBuildimport Base
119def take(b: Array<F32>, pair: Array<F32> & F32) -> F32 & (Array<F32> & Array<F32>):
120 (a, x) = pair
121 (x, (a, b))
Uses (4)
Used by (6)
- 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
- bendtorch-core@0.1.0.0/src/tensor/permute_build_proof:cell_word
- bendtorch-core@0.1.0.0/src/tensor/permute_build_proof:take_first
- …