def pair_plan

bendvy-ecs-core@0.1.0.4 · ordinary_app_existing_execution.bend:59

import Base
import bendvy-ecs-core@0.1.0.4/schedule_provision.bend as SP

59def pair_plan(~S:Data,~L:Type,~R:Type,~Shared:Type,~leftPlan:(L & Shared) -> (L & Shared) & SP.Plan<S>,~rightPlan:(R & Shared) -> (R & Shared) & SP.Plan<S>,value:(L & R) & Shared) -> ((L & R) & Shared) & SP.Plan<S>:
60  match value:
61    case ((left,right),shared):left_planned(~S,~L,~R,~Shared,~rightPlan,right,leftPlan((left,shared)))