def cell_left
import bendtorch-core@0.1.0.0/src/tensor/elementwise.bend as Elementwiseimport Base
343def cell_left(+operation: Operation, ra: Array<F32>, +right_index: U32, pair: Array<F32> & F32) ->
344 F32 & (Array<F32> & Array<F32>):
345 (la, x) = pair
346 cell_right(operation, x, la, Array.get(F32, ra, right_index))
Uses (8)
Used by (5)
- bendtorch-core@0.1.0.0/src/tensor/elementwise:cell
- bendtorch-core@0.1.0.0/src/tensor/elementwise:direct_cell
- bendtorch-core@0.1.0.0/src/tensor/contracts/binary_build_proof:cell_left_eq
- bendtorch-core@0.1.0.0/src/tensor/elementwise_parallel_proof:left_out
- bendtorch-core@0.1.0.0/src/tensor/elementwise_walk_proof:direct_same