lib/input_sanitization/input_sanitizer.ml


1
2
3
4
5
6

(* Sanitize the inputs *)

(* TODO: handle exceptions *)
let process (input : string) : Types.proposition =
  input |> Lexing.Lexer.lex |> Parsing.Parser.parse