def swap_right

bendvy-ecs-core@0.1.0.3 · chunk_column.bend:118

import Base

118def swap_right(~S:Data,~C:Type,half:U32,left:Column<S,C>,result:SwapOutcome<S,C>) -> SwapOutcome<S,C>:
119  match result:
120    case Accepted{right,previous}: Accepted{Branch{half,left,right},previous}
121    case Rejected{right,incoming}: Rejected{Branch{half,left,right},incoming}