From 69de932f9116b30adfd689d38e35ace63aef0e2d Mon Sep 17 00:00:00 2001
From: filip <“filip.rabiega@gmail.com”>
Date: Fri, 16 Aug 2024 14:11:00 +0200
Subject: added api

---
 lib/input_sanitization/input_sanitizer.ml | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 lib/input_sanitization/input_sanitizer.ml

(limited to 'lib/input_sanitization/input_sanitizer.ml')

diff --git a/lib/input_sanitization/input_sanitizer.ml b/lib/input_sanitization/input_sanitizer.ml
new file mode 100644
index 0000000..f5c483d
--- /dev/null
+++ b/lib/input_sanitization/input_sanitizer.ml
@@ -0,0 +1,6 @@
+(* Sanitize the inputs *)
+
+(* TODO: handle exceptions *)
+let process (input : string) : Types.proposition =
+  input |> Lexing.Lexer.lex |> Parsing.Parser.parse
+
-- 
cgit v1.2.3