def replace_left

bendvy-ecs-core@0.1.0.3 · execution_reservation_materialization.bend:77

import bendvy-ecs-core@0.1.0.3/execution_reservation_materialization.bend as ExecutionReservationMaterialization
import Base
import bendvy-ecs-core@0.1.0.3/chunk_column.bend as Column

77def replace_left(~S:Data,-P:Type,half:U32,right:Column.Column<S,P>,result:Column.Column<S,P> & Maybe<&1,P>) -> Column.Column<S,P> & Maybe<&1,P>:
78  match result:
79    case (left,previous):(Column.Branch{half,left,right},previous)

Uses (5)

Used by (0)

No other definition uses this definition.