RestorePrepare.finished: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/restore_prepare.bend as RestorePrepare
Lines 44-47 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=44&end_line=47

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

def finished(~State:Type,~Custom:Data,~release:State -> State,+input:Snapshot.Snapshot,result:Walk<State,Custom>) -> R.Prepared<State,Custom>:
  match result:
    case Working{state}:R.BendvyReady{state,input}
    case Stopped{state,error}:R.Refused{release(state),input,error}

Uses (3):
  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=Walk
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/snapshot_data.bend&name=Snapshot