ChunkColumn.edit_search: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/chunk_column.bend as ChunkColumn
Lines 178-182 of bendvy-ecs-core@0.1.0.3/chunk_column.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/chunk_column.bend&start_line=178&end_line=182

import Base
import bendvy-ecs-core@0.1.0.3/change_tick.bend as Tick

def edit_search(~S:Data,~C:Type,~V:Data,transform:C -> C & V,fuel:Nat,state:Visit<S,C>,+tick:Tick.Tick,+write:Bool) -> Column<S,C> & Maybe<&2,V>:
  match fuel state:
    case 0n Visit{column,_,path}: (rebuild(~S,~C,path,column),None{})
    case 1n+_ Visit{Leaf{values,stamps},+index,path}: edit_return(~S,~C,~V,path,edit_leaf(S,C,V,transform,values,stamps,index,tick,write,U32.is_lt(index,8)))
    case 1n+rest Visit{Branch{+half,left,right},+index,path}: edit_search(~S,~C,~V,transform,rest,edit_route(~S,~C,left,right,half,index,path,U32.is_lt(index,half)),tick,write)

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/change_tick.bend&name=Tick
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/chunk_column.bend&name=Column
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/chunk_column.bend&name=Visit
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/chunk_column.bend&name=edit_leaf
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/chunk_column.bend&name=edit_return
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/chunk_column.bend&name=edit_route
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/chunk_column.bend&name=rebuild