def keys_tail

bendvy-ecs-core@0.1.0.4 · restore_graph_raw.bend:12

import Base
import bendvy-ecs-core@0.1.0.4/entity_key.bend as Key
import bendvy-ecs-core@0.1.0.4/restore_raw.bend as Basic

12def keys_tail(head:Key.Key,result:Basic.Decoded<List<&2,Key.Key>>) -> Basic.Decoded<List<&2,Key.Key>>:
13  match result:
14    case Basic.Value{tail}:Basic.Value{head <> tail}
15    case Basic.Failed{error}:Basic.Failed{error}