def initialize_pair_finish

bendvy-ecs-core@0.1.0.4 · reader_parameter.bend:118

import Base

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