def take_right_done

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

import bendvy-ecs-core@0.1.0.3/chunk_column.bend as ChunkColumn
import Base

234def take_right_done(-S:Data,-C:Type,half:U32,left:Column<S,C>,result:Column<S,C> & Maybe<&1,C>) -> Column<S,C> & Maybe<&1,C>:
235  match result:
236    case (right,previous):(Branch{half,left,right},previous)

Uses (5)

Used by (1)