def saved_key

bendvy-ecs-core@0.1.0.4 · restore_raw.bend:105

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

105def saved_key(value:Key.Key) -> D.Raw:
106  match value:
107    case Key.EntityKey{index,generation}:D.Object{[D.Field{"index",D.Number{index}},D.Field{"generation",D.Number{generation}}]}