RestorePrepare.header: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/restore_prepare.bend as RestorePrepare
Lines 48-52 of bendvy-ecs-core@0.1.0.3/restore_prepare.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/restore_prepare.bend&start_line=48&end_line=52

import Base
import bendvy-ecs-core@0.1.0.3/restore_data.bend as R
import bendvy-ecs-core@0.1.0.3/snapshot_data.bend as Snapshot
import bendvy-ecs-core@0.1.0.3/decode_data.bend as D

def header(~State:Type,~Custom:Data,~stage:State -> R.Position -> D.Field -> State & R.Dispatch<Custom>,~release:State -> State,version:Bool,progress:Bool,state:State,+input:Snapshot.Snapshot) -> R.Prepared<State,Custom>:
  match version progress input:
    case False{} _ Snapshot.Snapshot{value,next,entities,resources}:R.Refused{state,Snapshot.Snapshot{value,next,entities,resources},R.UnsupportedVersion{D.Number{value}}}
    case True{} False{} Snapshot.Snapshot{version,next,entities,resources}:R.Refused{state,Snapshot.Snapshot{version,next,entities,resources},R.InvalidSnapshot{"$.nextEntity"}}
    case True{} True{} Snapshot.Snapshot{version,next,+values,+resources}:finished(~State,~Custom,~release,Snapshot.Snapshot{version,next,values,resources},continued(~State,~Custom,state => fields(~State,~Custom,~stage,R.Resource{},resources,state),entities(~State,~Custom,~stage,values,[],state)))

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  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=bendvy-ecs-core@0.1.0.3/decode_data.bend&name=Field
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/decode_data.bend&name=Raw
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/restore_data.bend&name=Dispatch
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/restore_data.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/restore_data.bend&name=Position
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/restore_data.bend&name=Prepared
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/restore_prepare.bend&name=continued
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/restore_prepare.bend&name=entities
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/restore_prepare.bend&name=fields
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/restore_prepare.bend&name=finished
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/snapshot_data.bend&name=Snapshot