def left_returned

bendvy-ecs-core@0.1.0.3 · dependency_registration.bend:20

import Base
import bendvy-ecs-core@0.1.0.3/dependency_executor.bend as Exec

20def left_returned(~World:Type,~L:Type,~R:Type,~Error:Data,~Out:Data,~leftDispatch:L -> World -> U32 -> L & (World & Exec.Invocation<Error,Out>),~rightDispatch:R -> World -> U32 -> R & (World & Exec.Invocation<Error,Out>),pair:(R & List<&2,U32>) & (L & (World & Exec.Invocation<Error,Out>))) -> Product<L,R> & (World & Exec.Invocation<Error,Out>):
21  match pair:
22    case ((right,leftIds),(left,(world,status))):(Product{left,right,leftIds},(world,status))