RestoreStorage.component_records: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/restore_storage.bend as RestoreStorage
Lines 30-33 of bendvy-ecs-core@0.1.0.4/restore_storage.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/restore_storage.bend&start_line=30&end_line=33

import Base
import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick
import bendvy-ecs-core@0.1.0.4/restore_data.bend as R
import bendvy-ecs-core@0.1.0.4/restore_leaf.bend as Stage
import bendvy-ecs-core@0.1.0.4/column.bend as Col

def component_records(~S:Data,~Context:Type,~I:Type,~P:Type,records:List<Stage.Record<I,P>>,state:Stage.State<Context,I,P>,column:Col.Column<S,P>,+bindings:List<&2,R.Binding<S>>,+tick:Tick.Tick) -> Col.Column<S,P> & Stage.State<Context,I,P>:
  match records:
    case []:(column,state)
    case record <> rest:components_next(~S,~Context,~I,~P,column => state => component_records(~S,~Context,~I,~P,rest,state,column,bindings,tick),component_record(~S,~Context,~I,~P,record,state,column,bindings,tick))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=bendvy-ecs-core@0.1.0.4/change_tick.bend&name=Tick
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/column.bend&name=Column
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_data.bend&name=Binding
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_leaf.bend&name=Record
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_leaf.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_storage.bend&name=component_record
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_storage.bend&name=components_next