def initialize_pair

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

import Base

140def initialize_pair(~Context:Type,~Facts:Data,~OwnerA:Type,~ParameterA:Type,
141  ~OwnerB:Type,~ParameterB:Type,~Parameter:Type,
142  ~initA:Context -> Facts -> Context & (OwnerA & ParameterA),
143  ~initB:Context -> Facts -> Context & (OwnerB & ParameterB),
144  ~pair:ParameterA -> ParameterB -> Parameter,
145  context:Context,+facts:Facts) -> Context & ((OwnerA & OwnerB) & Parameter):
146  initialize_pair_after_first(~Context,~Facts,~OwnerA,~ParameterA,~OwnerB,~ParameterB,~Parameter,
147    ~initB,~pair,facts,initA(context,facts))