diff options
author | toma <toma@283d02a7-25f6-0310-bc7c-ecb5cbfe19da> | 2009-11-25 17:56:58 +0000 |
---|---|---|
committer | toma <toma@283d02a7-25f6-0310-bc7c-ecb5cbfe19da> | 2009-11-25 17:56:58 +0000 |
commit | ce599e4f9f94b4eb00c1b5edb85bce5431ab3df2 (patch) | |
tree | d3bb9f5d25a2dc09ca81adecf39621d871534297 /kalzium/src/solver/parser.mli | |
download | tdeedu-ce599e4f9f94b4eb00c1b5edb85bce5431ab3df2.tar.gz tdeedu-ce599e4f9f94b4eb00c1b5edb85bce5431ab3df2.zip |
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
Diffstat (limited to 'kalzium/src/solver/parser.mli')
-rw-r--r-- | kalzium/src/solver/parser.mli | 15 |
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 |