use crate::v1_1::beom::core::expr_binary_operator::ExprBinaryOperator;
use crate::v1_1::beom::core::expr_for_all::ExprForAll;
use crate::v1_1::beom::core::expr_function_call::ExprFunctionCall;
use crate::v1_1::beom::core::expr_literal::ExprLiteral;
use crate::v1_1::beom::core::expr_unary_operator::ExprUnaryOperator;
use crate::v1_1::beom::core::expr_value_ref::ExprValueRef;
use crate::v1_1::beom::core::expr_variable_ref::ExprVariableRef;
#[doc(alias = "EXPRESSION")]
#[derive(Debug, Clone, PartialEq)]
pub enum Expression {
ExprBinaryOperator(Box<ExprBinaryOperator>),
ExprForAll(Box<ExprForAll>),
ExprFunctionCall(ExprFunctionCall),
ExprLiteral(ExprLiteral),
ExprUnaryOperator(Box<ExprUnaryOperator>),
ExprValueRef(ExprValueRef),
ExprVariableRef(ExprVariableRef),
}