ExecutionSaveMetadata.lifecycle: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_save_metadata.bend as ExecutionSaveMetadata
Lines 32-34 of bendvy-ecs-core@0.1.0.3/execution_save_metadata.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_metadata.bend&start_line=32&end_line=34

import Base
import bendvy-ecs-core@0.1.0.3/execution_lifecycle_notices.bend as Notice

def lifecycle(~S:Data,actual:Notice.Journal<S>) -> Notice.Journal<S> & Lifecycle<S>:
  match actual:
    case Notice.Journal{+namespace,+channels,+nextReader,+active}:(Notice.Journal{namespace,channels,nextReader,active},Lifecycle{namespace,channels,nextReader,active})

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifecycle_notices.bend&name=Journal
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_save_metadata.bend&name=Lifecycle