From ce599e4f9f94b4eb00c1b5edb85bce5431ab3df2 Mon Sep 17 00:00:00 2001
From: toma <toma@283d02a7-25f6-0310-bc7c-ecb5cbfe19da>
Date: Wed, 25 Nov 2009 17:56:58 +0000
Subject: Copy the KDE 3.5 branch to branches/trinity for new KDE 3.5 features.
 BUG:215923

git-svn-id: svn://anonsvn.kde.org/home/kde/branches/trinity/kdeedu@1054174 283d02a7-25f6-0310-bc7c-ecb5cbfe19da
---
 kalzium/src/solver/parser.mli | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 kalzium/src/solver/parser.mli

(limited to 'kalzium/src/solver/parser.mli')

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
-- 
cgit v1.2.1