def join
import bendtorch-core@0.1.0.0/src/tensor/parallel.bend as Parallelimport Base
20def join(~S: Type, a: Array<F32>, high: Array<F32> & S) -> Array<F32> & S:
21 (b, state) = high
22 (ANode{a, b}, state)
Uses (4)
Used by (13)
- bendtorch-core@0.1.0.0/src/tensor/parallel:node
- bendtorch-core@0.1.0.0/src/tensor/contracts/product_parallel_proof:tree_join_eq
- bendtorch-core@0.1.0.0/src/tensor/parallel_proofs:join_facts
- bendtorch-core@0.1.0.0/src/autograd/reduce_replayed_proof:tree_join_eq
- bendtorch-core@0.1.0.0/src/autograd/reduce_replayed_proof:tree_node_eq
- …