ReaderParameter.initialize_pair_finish: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/reader_parameter.bend as ReaderParameter
Lines 118-127 of bendvy-ecs-core@0.1.0.4/reader_parameter.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/reader_parameter.bend&start_line=118&end_line=127

import Base

# Build two declarations against the same registration while threading one
# affine shared context through both initializers.
def initialize_pair_finish(~Context:Type,~Facts:Data,~OwnerA:Type,~ParameterA:Type,
  ~OwnerB:Type,~ParameterB:Type,~Parameter:Type,
  ~pair:ParameterA -> ParameterB -> Parameter,
  ownerA:OwnerA,paramA:ParameterA,
  initializedB:Context & (OwnerB & ParameterB)) -> Context & ((OwnerA & OwnerB) & Parameter):
  match initializedB:
    case (contextB,(ownerB,paramB)):
      (contextB,((ownerA,ownerB),pair(paramA,paramB)))

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma