RecoverableArrayOwner.Attempt: type of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/recoverable_array_owner.bend as RecoverableArrayOwner
Lines 6-9 of bendvy-ecs-core@0.1.0.4/recoverable_array_owner.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/recoverable_array_owner.bend&start_line=6&end_line=9

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

# Trusted implementation: ordinary grants hide journals and product lenses.
type Attempt<State:Type,Recovery:Type,P:Type> is Type:
  Applied{state:State,journal:List<Journal.Action(~State,~Recovery)>}
  Refused{state:State,journal:List<Journal.Action(~State,~Recovery)>,replacement:P}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recovery_journal.bend&name=Action