def take_left_done

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

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

231def take_left_done(-S:Data,-C:Type,half:U32,right:Column<S,C>,result:Column<S,C> & Maybe<&1,C>) -> Column<S,C> & Maybe<&1,C>:
232  match result:
233    case (left,previous):(Branch{half,left,right},previous)

Uses (5)

Used by (1)