def merge

stelliferous@0.0.2.0 · tensor_band_schedule.bend:14

import Base

14def merge(left: Size,right: Size) -> Size:
15  Size{ln,lmin,lmax} = left
16  Size{rn,rmin,rmax} = right
17  Size{(ln + rn : U32),U32.min(lmin,rmin),U32.max(lmax,rmax)}