def inspected_right
bendvy-ecs-core@0.1.0.3 · chunk_shape.bend:17
import bendvy-ecs-core@0.1.0.3/chunk_shape.bend as ChunkShape
import Base
import bendvy-ecs-core@0.1.0.3/chunk_column.bend as Col
17def inspected_right(-S:Data,-C:Type,+half:U32,left:Col.Column<S,C>,li:Inspection,result:Col.Column<S,C> & Inspection) -> Col.Column<S,C> & Inspection:
18 match li result:
19 case Inspection{ls,+lc,lv}, (right,Inspection{rs,rc,rv}):(Col.Branch{half,left,right},Inspection{Branch{half,ls,rs},U32.add(half,half),Bool.and(lv,Bool.and(rv,Bool.and(U32.is_eq(lc,half),Bool.and(U32.is_eq(rc,half),U32.is_le(half,2147483647)))))})