1 files changed, 2 insertions, 0 deletions
diff --git a/rust/src/ast.rs b/rust/src/ast.rs
index 722e9e0..8729fa2 100644
--- a/rust/src/ast.rs
+++ b/rust/src/ast.rs
@@ -7,6 +7,7 @@ pub enum Value {
     Sym(String),
     App(Box<Value>, Box<Value>),
     Lam(String, Box<Value>),
+    Def(String, Box<Value>),
 }
 
 impl Display for Value {
@@ -17,6 +18,7 @@ impl Display for Value {
             Value::Sym(s) => write!(f, "{}", s),
             Value::App(l, r) => write!(f, "({} {})", l, r),
             Value::Lam(var, body) => write!(f, "(lam {} {})", var, body),
+            Value::Def(var, value) => write!(f, "(def {} {})", var, value),
         }
     }
 }