From a875a78f4b197e5b0a08dc1351e0bd1b4ba34b6d Mon Sep 17 00:00:00 2001
From: Akemi Izuko <akemi@noway.moe>
Date: Fri, 17 Nov 2023 14:20:09 -0700
Subject: [PATCH] Ast: add getters for variables

---
 src/ast/expr.rs | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/src/ast/expr.rs b/src/ast/expr.rs
index aca827f..0bf9b79 100644
--- a/src/ast/expr.rs
+++ b/src/ast/expr.rs
@@ -75,10 +75,20 @@ impl GazType for Literal {
 #[builder(setter(into))]
 pub struct Variable {
     type_: BaseType,
-    quantifer: Quantifier,
+    quantifier: Quantifier,
     name: String,
 }
 
+impl Variable {
+    pub fn get_name(&self) -> String {
+        self.name.clone()
+    }
+
+    pub fn get_quantifier(&self) -> Quantifier {
+        self.quantifier
+    }
+}
+
 impl ToString for Variable {
     fn to_string(&self) -> String {
         self.name.clone()