KernelBandPlanning.Movement: type of stelliferous@0.0.2.0
Import: import stelliferous@0.0.2.0/kernel_band_planning.bend as KernelBandPlanning
Lines 10-15 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=10&end_line=15

import Base

# Images run one after another, each as its own parallel region (the runtime
# forks only within an image). span and open describe the current image's
# region: its costliest leaf path and its leaves. settled is the time of the
# image regions already finished.
type Movement is Data:
  Movement{work: F32,span: F32,open: U32,settled: F32,preparation: F32,minimum: F32,leaves: U32}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32