Lambda constructor

Lambda(Map<Sym, Sort> args, Expr body)

Implementation

Lambda(this.args, this.body);