def keys_head

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

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

16def keys_head(next:Unit -> Basic.Decoded<List<&2,Key.Key>>,result:Basic.Decoded<Key.Key>) -> Basic.Decoded<List<&2,Key.Key>>:
17  match result:
18    case Basic.Value{head}:keys_tail(head,next(Unit{}))
19    case Basic.Failed{error}:Basic.Failed{error}