CapturedScheduleComposition.pair_catalog: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend as CapturedScheduleComposition
Lines 44-49 of bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend&start_line=44&end_line=49

import Base

# Advanced owner-threading catalog composition in left/right order.
# Returns both affine owners and appended identities without executing bodies.
# Supplied catalog callbacks must preserve actual registration correspondence.
def pair_catalog(~L:Type,~R:Type,~left:L -> L & List<&2,Identity>,~right:R -> R & List<&2,Identity>,owners:L & R) -> (L & R) & List<&2,Identity>:
  match owners:
    case (a,b):pair_catalog_left(~L,~R,~right,b,left(a))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend&name=Identity
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/captured_schedule_composition.bend&name=pair_catalog_left