RestoreGraphRaw.relations_tail: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/restore_graph_raw.bend as RestoreGraphRaw
Lines 57-60 of bendvy-ecs-core@0.1.0.4/restore_graph_raw.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/restore_graph_raw.bend&start_line=57&end_line=60

import Base
import bendvy-ecs-core@0.1.0.4/restore_raw.bend as Basic
import bendvy-ecs-core@0.1.0.4/restore_graph_data.bend as Graph

def relations_tail(head:Graph.Relation,result:Basic.Decoded<List<&2,Graph.Relation>>) -> Basic.Decoded<List<&2,Graph.Relation>>:
  match result:
    case Basic.Value{tail}:Basic.Value{head <> tail}
    case Basic.Failed{error}:Basic.Failed{error}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_graph_data.bend&name=Relation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/restore_raw.bend&name=Decoded