From 5c8f9487ec11035cbd1accfb67f1a4943a2b8db1 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Tue, 11 Apr 2023 20:56:14 +0200
Subject: Bootstrapping

---
 inc/term.h | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 inc/term.h

(limited to 'inc/term.h')

diff --git a/inc/term.h b/inc/term.h
new file mode 100644
index 0000000..a90bdd3
--- /dev/null
+++ b/inc/term.h
@@ -0,0 +1,32 @@
+// Copyright (c) 2023, Marvin Borner <dev@marvinborner.de>
+// SPDX-License-Identifier: MIT
+
+#ifndef BLOC_TERM_H
+#define BLOC_TERM_H
+
+#include <stddef.h>
+
+typedef enum { INV, ABS, APP, VAR, REF } term_type;
+
+struct term {
+	term_type type;
+	union {
+		struct {
+			struct term *term;
+		} abs;
+		struct {
+			struct term *lhs;
+			struct term *rhs;
+		} app;
+		struct {
+			int index;
+		} var;
+		struct {
+			size_t index;
+		} ref;
+	} u;
+};
+
+struct term *new_term(term_type type);
+
+#endif
-- 
cgit v1.2.3