def replace_right

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

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

80def replace_right(~S:Data,-P:Type,half:U32,left:Column.Column<S,P>,result:Column.Column<S,P> & Maybe<&1,P>) -> Column.Column<S,P> & Maybe<&1,P>:
81  match result:
82    case (right,previous):(Column.Branch{half,left,right},previous)