def halves
import bendtorch-core@0.1.0.0/src/tensor/elementwise.bend as Elementwiseimport Base
418# Each half of a fork gets its own clone of both input arrays, because an
419# Array has one owner.
420def halves(lp: Array<F32> & Array<F32>, rp: Array<F32> & Array<F32>) -> (Array<F32> & Array<F32>) & (Array<F32> & Array<F32>):
421 (l1, l2) = lp
422 (r1, r2) = rp
423 ((l1, r1), (l2, r2))
Uses (4)
Used by (5)
- bendtorch-core@0.1.0.0/src/tensor/elementwise:split
- bendtorch-core@0.1.0.0/src/tensor/contracts/binary_build_proof:fork_eq
- bendtorch-core@0.1.0.0/src/tensor/contracts/matmul_parallel_proof:fork_eq
- bendtorch-core@0.1.0.0/src/tensor/contracts/product_parallel_proof:fork_eq
- bendtorch-core@0.1.0.0/src/tensor/elementwise_parallel_proof:halves_equal