OrdinaryRecoveryDeclaration.Declaration: type of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_recovery_declaration.bend as OrdinaryRecoveryDeclaration
Lines 14-25 of bendvy-ecs-core@0.1.0.4/ordinary_recovery_declaration.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_recovery_declaration.bend&start_line=14&end_line=25

import Base
import bendvy-ecs-core@0.1.0.4/recovery_use.bend as Use

# Static recovery description for State, recovery owner and operation family Ops.
# Canonical component/resource/capture modules supply matching builders, empty
# recovery constructors and typed use descriptions. Arbitrary affine Type
# payloads are supported by those operations; this is not automatic rollback for
# all functions, external IO or arbitrary payload mutation.
# The classic Declaration form has opaque use metadata. Automatic App recovery
# registration requires a complete description and refuses that opaque form;
# the classic runner remains available. See docs/parity/recovery.md for the
# accepted operation domains, owner-return rules and qualified scenarios.
type Declaration<-S:Data,-State:Type,-Recovery:Type,-Ops:Type -> Type,-builder:Builder(~State,~Recovery,~Ops)> is Type:
  Declaration{empty:Unit -> Recovery,access:List<&2,String>}
  Described{empty:Unit -> Recovery,access:List<&2,String>,description:Use.Description}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_recovery_declaration.bend&name=Builder
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/recovery_use.bend&name=Description