OrdinaryServiceRequest.called: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/ordinary_service_request.bend as OrdinaryServiceRequest
Lines 33-35 of bendvy-ecs-core@0.1.0.4/ordinary_service_request.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_service_request.bend&start_line=33&end_line=35

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_service_declaration.bend as Service

def called(~R:Type,~P:Type,~Rest:Type,~Input:Type,~Output:Type,~put:Rest -> Service.Slot<P> -> R,rest:Rest,value:P & Output) -> R & RequestResult<Input,Output>:
  match value:
    case (owner,output):(put(rest,Service.BendvyReady{owner}),Called{output})

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_service_declaration.bend&name=Slot
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_service_request.bend&name=RequestResult