Parallel.pair_join: def of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/tensor/parallel.bend as Parallel
Lines 35-42 of bendtorch-core@0.1.0.0/src/tensor/parallel.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/tensor/parallel.bend&start_line=35&end_line=42

import Base

# The depth-1 tree, cells `base` and `base + 1`: the second cell reads the
# state the first hands back, and the node of the two leaves is built here.
# The bottom level of every deeper tree runs this, so no leaf returns
# through `leaf` and half of the tree's nodes create no closure. The second
# cell is `Nat.add(1n, base)`, which is `upper(0n, base)` but a flat add.
def pair_join(~S: Type, x: F32, high: F32 & S) -> Array<F32> & S:
  (y, state) = high
  (ANode{ALeaf{x}, ALeaf{y}}, state)

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Array
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma