OrdinaryRecoveryDeclaration.Builder: 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 6-13 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=6&end_line=13

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

# Builder is an erased type index, like a Registry runner. It is specialized
# at the closed recovery product before any executable grant is materialized.
# Advanced erased grant-builder type for canonical recovery declarations.
# Specializes operations to the closed recovery product and an owner-preserving
# lens into that product. Ordinary bodies receive the generated Ops; they do not
# supply runtime journal routes or inverse callbacks themselves.
def Builder(~State:Type,~Recovery:Type,~Ops:Type -> Type) -> Type:
  @-All:Type -> @-Rest:Type -> @-path:Product.Lens<All,Recovery,Rest> -> Unit -> Ops(Frame.Frame<State,All>)

Uses (3):
  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/owner_product.bend&name=Lens