def split
import bendtorch-core@0.1.0.0/src/tensor/permute_build.bend as PermuteBuildimport Base
141# Each half of a fork gets its own clone of the input array.
142def split(state: Array<F32> & Array<F32>) -> (Array<F32> & Array<F32>) & (Array<F32> & Array<F32>):
143 (a, b) = state
144 halves(Array.clone(F32, a), Array.clone(F32, b))
Uses (6)
Used by (6)
- bendtorch-core@0.1.0.0/src/tensor/permute_build:build
- bendtorch-core@0.1.0.0/src/tensor/permute_build:balanced
- bendtorch-core@0.1.0.0/src/tensor/permute_build_proof:SplitFacts
- bendtorch-core@0.1.0.0/src/tensor/permute_build_proof:build_cell
- bendtorch-core@0.1.0.0/src/tensor/permute_build_proof:build_eq
- …