def node
import bendtorch-core@0.1.0.0/src/tensor/parallel.bend as Parallelimport Base
24# The two components of the state go to `rec` one by one, so a closure
25# call never boxes the state.
26def node(~A: Type, ~B: Type, rec: A -> B -> Array<F32> & (A & B), low: Array<F32> & (A & B)) -> Array<F32> & (A & B):
27 (a, state) = low
28 (l, r) = state
29 join(~(A & B), a, rec(l, r))
Uses (5)
Used by (12)
- bendtorch-core@0.1.0.0/src/tensor/parallel:tree
- bendtorch-core@0.1.0.0/src/tensor/matmul:product_tree
- bendtorch-core@0.1.0.0/src/tensor/parallel:node_certified
- bendtorch-core@0.1.0.0/src/autograd/reduce_replayed_proof:tree_node_eq
- bendtorch-core@0.1.0.0/src/tensor/contracts/binary_build_proof:tree_node_eq
- …