OrdinaryAppStream.selected: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_app_stream.bend as OrdinaryAppStream
Lines 39-40 of bendvy-ecs-core@0.1.0.4/ordinary_app_stream.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_stream.bend&start_line=39&end_line=40

import Base
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap
import bendvy-ecs-core@0.1.0.4/inspector_transition_projection.bend as T
import bendvy-ecs-core@0.1.0.4/inspector_failure_projection.bend as Fail

def selected(~S:Data,~K:Data,~V:Data,~E:Data,~H:Type,~grants:Cap.ValueRead<H,T.TransitionLog<S,K,V>> & Cap.ValueRead<H,Fail.FailureView<S,E>>,args:Unit,owner:H) -> H & Values<S,K,V,E>:
  transition_done(~S,~K,~V,~E,~H,~failure_grant(~S,~K,~V,~E,~H,grants),Cap.value_read(~H,~T.TransitionLog<S,K,V>,~transition_grant(~S,~K,~V,~E,~H,grants),owner))

Uses (10):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  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/capabilities.bend&name=ValueRead
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/capabilities.bend&name=value_read
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/inspector_failure_projection.bend&name=FailureView
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/inspector_transition_projection.bend&name=TransitionLog
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_stream.bend&name=Values
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_stream.bend&name=failure_grant
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_stream.bend&name=transition_done
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_app_stream.bend&name=transition_grant