type Stage

bendvy-ecs-core@0.1.0.4 · owned_event_journal.bend:8

import Base
import bendvy-ecs-core@0.1.0.4/trace_facts.bend as Facts
import bendvy-ecs-core@0.1.0.4/recovery_journal.bend as Journal

8# Trusted transport. Ordinary declaration builders derive both paths together;
9# authored gameplay receives only the abstract emission capability.
10type Stage<State:Type,Recovery:Type> is Type:
11  Stage{newest:List<Journal.Action(~State,~Recovery)>,trace:Facts.State}