RecoveryJournal.applied: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/recovery_journal.bend as RecoveryJournal
Lines 6-8 of bendvy-ecs-core@0.1.0.4/recovery_journal.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/recovery_journal.bend&start_line=6&end_line=8

import Base

def applied(~State:Type,~Recovery:Type,next:State -> Recovery -> State & Recovery,result:State & Recovery) -> State & Recovery:
  match result:
    case (state,recovery):next(state,recovery)

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma