From 81fb055292f49a76732c1966874b8d2ad2cb1807 Mon Sep 17 00:00:00 2001
From: Nathan Ringo <nathan@remexre.com>
Date: Thu, 18 Jan 2024 16:45:03 -0600
Subject: Start of our own AST.

---
 discocaml/eval.ml | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 discocaml/eval.ml

(limited to 'discocaml/eval.ml')

diff --git a/discocaml/eval.ml b/discocaml/eval.ml
new file mode 100644
index 0000000..68bb637
--- /dev/null
+++ b/discocaml/eval.ml
@@ -0,0 +1,7 @@
+open Ast
+
+type path = int list
+(** A path from the root of a term to a subterm. *)
+
+let find_redex_cbv : expr -> path option = function _ -> None
+let find_redex_cbn : expr -> path option = function _ -> None
-- 
cgit v1.2.3