def finish_returned_observed
bendvy-ecs-core@0.1.0.4 · compose.bend:344
import bendvy-ecs-core@0.1.0.4/compose.bend as Compose
import Base
import bendvy-ecs-core@0.1.0.4/trace_facts.bend as TraceFacts
import world.bend as W
import transaction.bend as T
344def finish_returned_observed(~S:Data,~Store:Type,~R:Type,~E:Data,~U:Data,~Out:Data,values:List<&2,Out>,result:T.Returned<W.World<S,Store,R,E>,Error<U>> & TraceFacts.State) -> Executed<W.World<S,Store,R,E>,Error<U>,Out> & TraceFacts.State:
345 match result:
346 case (returned,trace):(finish_returned(~S,~Store,~R,~E,~U,~Out,values,returned),trace)