public override ABT.Expr GetExpr(ABT.Env env) { ImmutableList<ABT.Expr> exprs = this.Exprs.ConvertAll(expr => expr.GetExpr(env)); return new ABT.AssignList(exprs); } }