コード例 #1
0
 public LAbstraction(LVar var, LExprBasic expr)
 {
     Variable   = var ?? throw new ArgumentNullException();
     Expression = expr ?? throw new ArgumentNullException();
 }
コード例 #2
0
 public LApplication(LExprBasic w, LExprBasic t)
 {
     What = w ?? throw new ArgumentNullException();
     To   = t ?? throw new ArgumentNullException();
 }