def alignment

stelliferous@0.0.2.0 · tensor_band_schedule.bend:47

import Base
import stelliferous@0.0.2.0/tensor_band.bend as Bands

47def alignment(+geometry: Bands.Geometry,+left: Bands.Plan,+right: Bands.Plan) -> Bands.Plan:
48  Bool.pick(Bands.Plan,Bands.same_plan(left,right) || Nat.is_le(allocation_elements(left,geometry),allocation_elements(right,geometry)),left,right)