From c530682030e80ee2de2c263471e5eda7a3392e84 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sat, 11 Jul 2026 03:07:56 -0300
Subject: working vm: parser, admission with totality checks, solver and repl

---
 lib/front.mli | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 lib/front.mli

(limited to 'lib/front.mli')

diff --git a/lib/front.mli b/lib/front.mli
new file mode 100644
index 0000000..00fa65f
--- /dev/null
+++ b/lib/front.mli
@@ -0,0 +1,7 @@
+(** Front door: text to statements.
+
+    Wraps the generated lexer and parser so callers see one total
+    function from source text to syntax or a positioned message.
+    The REPL, the file runner, and the tests all enter here. *)
+
+val parse_string : string -> (Ast.statement list, string) result
-- 
cgit v1.2.3