public TrailingPopulateScope(IOrType <ISetUp <IBox <IFrontendCodeElement>, Tpn.ITypeProblemNode>, IError> left, TrailingOperation.Make <TFrontendCodeElement> make, TrailingOperation.GetReturnedValue getReturnedValue, bool intoInitScope) { this.left = left ?? throw new ArgumentNullException(nameof(left)); this.make = make ?? throw new ArgumentNullException(nameof(make)); this.getReturnedValue = getReturnedValue ?? throw new ArgumentNullException(nameof(getReturnedValue)); this.intoInitScope = intoInitScope; }
public TrailingOperationMaker(string symbol, TrailingOperation.Make <TFrontendCodeElement> make, TrailingOperation.GetReturnedValue getReturnedValue, bool intoInitScope) { Symbol = symbol ?? throw new ArgumentNullException(nameof(symbol)); Make = make ?? throw new ArgumentNullException(nameof(make)); this.getReturnedValue = getReturnedValue ?? throw new ArgumentNullException(nameof(getReturnedValue)); this.intoInitScope = intoInitScope; }