public LAbstraction(LVar var, LExprBasic expr) { Variable = var ?? throw new ArgumentNullException(); Expression = expr ?? throw new ArgumentNullException(); }
public LApplication(LExprBasic w, LExprBasic t) { What = w ?? throw new ArgumentNullException(); To = t ?? throw new ArgumentNullException(); }