~/jendhub

def plan_join

stelliferous@0.0.2.0 · tensor_band.bend:88

import stelliferous@0.0.2.0/tensor_band.bend as TensorBand
import Base
import stelliferous@0.0.2.0/traversal_partition.bend as Partition

88def plan_join(~Element: Data,left: Bands(~Element) & Plan,right: Bands(~Element) & Plan) -> Bands(~Element) & Plan:
89  (left,left_plan) = left
90  (right,right_plan) = right
91  (Partition.Fork{left,right},Split{left_plan,right_plan})

Uses (5)

Used by (1)