RestoreRaw.object: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/restore_raw.bend as RestoreRaw
Lines 89-92 of bendvy-ecs-core@0.1.0.4/restore_raw.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/restore_raw.bend&start_line=89&end_line=92

import Base
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D
import bendvy-ecs-core@0.1.0.4/snapshot_data.bend as Snapshot
import bendvy-ecs-core@0.1.0.4/restore_raw_number.bend as Number

def object(+raw:D.Raw) -> Decoded<Snapshot.Snapshot>:
  match raw:
    case D.Object{+fields}:version_checked(fields,D.field("version",fields),Number.checked(D.field("version",fields)))
    case other:invalid(~Snapshot.Snapshot,"$","object",other)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_data.bend&name=Raw
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/decode_data.bend&name=field
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_raw.bend&name=Decoded
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_raw.bend&name=invalid
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_raw.bend&name=version_checked
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_raw_number.bend&name=checked
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/snapshot_data.bend&name=Snapshot