def swap_left

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

import Base

114def swap_left(~S:Data,~C:Type,half:U32,right:Column<S,C>,result:SwapOutcome<S,C>) -> SwapOutcome<S,C>:
115  match result:
116    case Accepted{left,previous}: Accepted{Branch{half,left,right},previous}
117    case Rejected{left,incoming}: Rejected{Branch{half,left,right},incoming}