def finished
bendvy-ecs-core@0.1.0.4 · compose.bend:242
import bendvy-ecs-core@0.1.0.4/compose.bend as Compose
import Base
import world.bend as W
import transaction.bend as T
import commands.bend as Cmd
242def 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<Error<U>> & List<&2,Out>)) -> Executed<W.World<S,Store,R,E>,Error<U>,Out>:
243 match observed:
244 case (tx,(result,values)): finish_returned(~S,~Store,~R,~E,~U,~Out,values,Cmd.tx_finish(~S,~Store,~R,~E,~Error<U>,tx,result))