def initialize_pair_after_first
bendvy-ecs-core@0.1.0.4 · reader_parameter.bend:129
import bendvy-ecs-core@0.1.0.4/reader_parameter.bend as ReaderParameter
import Base
129def initialize_pair_after_first(~Context:Type,~Facts:Data,~OwnerA:Type,~ParameterA:Type,
130 ~OwnerB:Type,~ParameterB:Type,~Parameter:Type,
131 ~initB:Context -> Facts -> Context & (OwnerB & ParameterB),
132 ~pair:ParameterA -> ParameterB -> Parameter,
133 +facts:Facts,
134 initializedA:Context & (OwnerA & ParameterA)) -> Context & ((OwnerA & OwnerB) & Parameter):
135 match initializedA:
136 case (contextAfterA,(ownerA,paramA)):
137 initialize_pair_finish(~Context,~Facts,~OwnerA,~ParameterA,~OwnerB,~ParameterB,~Parameter,
138 ~pair,ownerA,paramA,initB(contextAfterA,facts))