KernelBandPlanning.merge_images: def of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/kernel_band_planning.bend as KernelBandPlanning
Lines 44-50 of stelliferous@0.0.2.0/kernel_band_planning.bend: https://jend.leeeet.dev/read.txt?path=stelliferous@0.0.2.0/kernel_band_planning.bend&start_line=44&end_line=50

import Base
import stelliferous@0.0.2.0/kernel_cost.bend as Cost

# A split between images finishes both sides' regions in turn.
def merge_images(+workers: U32,clone: F32,left: Movement,right: Movement) -> Movement:
  Movement{lw,+ls,+lo,lsettled,lp,lmin,ln} = left
  Movement{rw,+rs,+ro,rsettled,rp,rmin,rn} = right
  +clone = clone
  Movement{(clone + lw + rw : F32),0.0,0,(clone + lsettled + rsettled + Cost.region_ns(workers,lo,ls) + Cost.region_ns(workers,ro,rs) : F32),
    (lp + rp : F32),F32.min(lmin,rmin),(ln + rn : U32)}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.min
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_band_planning.bend&name=Movement
  https://jend.leeeet.dev/definition.txt?path=stelliferous@0.0.2.0/kernel_cost.bend&name=region_ns