def disposal_recovered

bendvy-ecs-core@0.1.0.4 · ordinary_app_reader_fields.bend:66

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_reader_system.bend as Ordinary
import bendvy-ecs-core@0.1.0.4/ordinary_app_reader_parameter.bend as Parameter
import bendvy-ecs-core@0.1.0.4/ordinary_app_registration_fields.bend as Fields

66def disposal_recovered(~S:Data,~Context:Type,~Registry:Type,~Reader:Type,~Param:Data,context:Context,parameter:Param,provider:Ordinary.Provider<Registry,Reader,Param,List<&2,Fields.DeclaredUse>>) -> Recovered<S,Context,Ordinary.Provider<Registry,Reader,Param,List<&2,Fields.DeclaredUse>>,Param>:
67  match provider:
68    case Ordinary.Provider{registry,reader,initialized,+uses}:DisposalRejected{context,Ordinary.Provider{registry,reader,initialized,uses},Parameter.Declared{parameter,uses}}