def leaf
import bendtorch-core@0.1.0.0/src/tensor/parallel.bend as Parallelimport Base
16def leaf(~S: Type, pair: F32 & S) -> Array<F32> & S:
17 (value, state) = pair
18 (ALeaf{value}, state)
Uses (4)
Used by (26)
- bendtorch-core@0.1.0.0/src/tensor/parallel:tree
- bendtorch-core@0.1.0.0/src/tensor/parallel_proofs:leaf_facts
- bendtorch-core@0.1.0.0/src/autograd/reduce_replayed_proof:cell_eq
- bendtorch-core@0.1.0.0/src/tensor/contracts/binary_build_proof:cell_at_eq
- bendtorch-core@0.1.0.0/src/tensor/contracts/matmul_parallel_proof:cell_eq
- …