def join_inspection

stelliferous@0.0.2.0 · tensor_band.bend:434

import Base

434def join_inspection(left: Inspection,right: Inspection) -> Inspection:
435  Inspection{lv,lf,+le,ln} = left
436  Inspection{rv,+rf,re,rn} = right
437  Inspection{lv && rv && U32.is_eq(le,rf),lf,re,(ln + rn : U32)}