def saved_keys

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

import Base
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D
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

110def saved_keys(values:List<&2,Key.Key>) -> List<&2,D.Raw>:
111  match values:
112    case []:[]
113    case key <> rest:Basic.saved_key(key) <> saved_keys(rest)