def finished
bendvy-ecs-core@0.1.0.4 · owned_compose.bend:56
import bendvy-ecs-core@0.1.0.4/owned_compose.bend as OwnedCompose
import Base
import world.bend as W
import transaction.bend as T
import commands.bend as Cmd
import compose.bend as Q
56def finished(~S: Data,~Store: Type,~R: Type,~E: Data,~U: Data,~Out: Data,observed: T.Tx<W.World<S,Store,R,E>,E> & (T.Outcome<Q.Error<U>> & List<&2,Out>)) -> Q.Executed<W.World<S,Store,R,E>,Q.Error<U>,Out>:
57 match observed:
58 case (tx,(result,values)): finish_returned(~S,~Store,~R,~E,~U,~Out,values,Cmd.tx_finish(~S,~Store,~R,~E,~Q.Error<U>,tx,result))