OrdinaryRecoveryDeclaration.root_grant: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_recovery_declaration.bend as OrdinaryRecoveryDeclaration
Lines 73-77 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=73&end_line=77

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_recoverable_array_resource.bend as Frame

# Advanced runner projection: instantiate the matching builder at the complete
# recovery owner with its identity lens. Returns operations, not live state;
# registration, journal execution and recovery results belong to
# ordinary-recovery-system. Use canonical declaration constructors for gameplay.
def root_grant(~S:Data,~State:Type,~Recovery:Type,~Ops:Type -> Type,~builder:Builder(~State,~Recovery,~Ops)) -> Ops(Frame.Frame<State,Recovery>):builder(Recovery,Unit,identity(~Recovery),Unit{})

Uses (4):
  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_recoverable_array_resource.bend&name=Frame
  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/ordinary_recovery_declaration.bend&name=identity