AST.Positive.GetExpr C# (CSharp) Method

        public override ABT.Expr GetExpr(ABT.Env env) {
            ABT.Expr expr = this.Expr.GetExpr(env);

            if (!expr.Type.IsArith) {
                throw new InvalidOperationException("Expected arithmetic Type.");
            }

            return expr;
        }
    }