def add_word
import bendtorch-core@0.1.0.0/src/autograd/reduce_LAWS.bend as ReduceLAWSimport Base
25def add_word(total: Maybe<&2, F32>, value: Maybe<&2, F32>) -> Maybe<&2, F32>:
26 match total value:
27 case None{} _:
28 None{}
29 case Some{sum} None{}:
30 None{}
31 case Some{sum} Some{word}:
32 Some{F32.add(sum, word)}
Uses (3)
Used by (5)
- bendtorch-core@0.1.0.0/src/autograd/reduce_parallel_proof:gather
- bendtorch-core@0.1.0.0/src/autograd/reduce_LAWS:matched
- bendtorch-core@0.1.0.0/src/autograd/reduce_parallel_proof:gather_append
- bendtorch-core@0.1.0.0/src/autograd/reduce_parallel_proof:obs_gather
- bendtorch-core@0.1.0.0/src/autograd/reduce_replayed_proof:rfold_gather