public BinaryOperationMaker(string symbol, BinaryOperation.Make <TFrontendCodeElement> make,
BinaryOperation.GetReturnedValue keyMaker,
bool intoInitScope
)
{
Symbol = symbol ?? throw new ArgumentNullException(nameof(symbol));
Make = make ?? throw new ArgumentNullException(nameof(make));
this.keyMaker = keyMaker ?? throw new ArgumentNullException(nameof(keyMaker));
this.intoInitScope = intoInitScope;
}
public BinaryPopulateScope(
IOrType <ISetUp <IBox <IFrontendCodeElement>, Tpn.ITypeProblemNode>, IError> left,
IOrType <ISetUp <IBox <IFrontendCodeElement>, Tpn.ITypeProblemNode>, IError> right,
BinaryOperation.Make <TFrontendCodeElement> make,
BinaryOperation.GetReturnedValue key,
bool intoInitScope)
{
this.left = left ?? throw new ArgumentNullException(nameof(left));
this.right = right ?? throw new ArgumentNullException(nameof(right));
this.make = make ?? throw new ArgumentNullException(nameof(make));
this.keyMaker = key ?? throw new ArgumentNullException(nameof(key));
this.intoInitScope = intoInitScope;
}
