1 files changed, 15 insertions, 0 deletions
diff --git a/kalzium/src/solver/parser.mli b/kalzium/src/solver/parser.mli
new file mode 100644
index 00000000..63d8dece
--- /dev/null
+++ b/kalzium/src/solver/parser.mli
@@ -0,0 +1,15 @@
+type token =
+  | INT of (int)
+  | PLUS
+  | MINUS
+  | LPAREN
+  | RPAREN
+  | LBRACKET
+  | RBRACKET
+  | EOF
+  | CAPITAL of (string)
+  | MINOR of (string)
+  | ARROW
+
+val main :
+  (Lexing.lexbuf  -> token) -> Lexing.lexbuf -> Chemset.listitems