1 files changed, 10 insertions, 0 deletions
diff --git a/dat.h b/dat.h
index e4ddc74..d5dbfef 100644
--- a/dat.h
+++ b/dat.h
@@ -1,4 +1,6 @@
 typedef struct Term Term;
+typedef struct Binding Binding;
+
 struct Term
 {
 	int tag;
@@ -13,6 +15,14 @@ struct Term
 	uvlong clausenr;
 };
 
+struct Binding
+{
+	Rune *name;
+	uvlong nr; /* Unique number for each clause. Every time a clause is used, it gets a new number. */
+	Term *value;
+	Binding *next;
+};
+
 enum {
 	CompoundTerm,
 	AtomTerm,