← Back to branch summary

~ubuntu-branches/ubuntu/precise/kalzium/precise

« back to all changes in this revision

Viewing changes to src/solver/parser.mli

  • Committer: Bazaar Package Importer
  • Author(s): Philip Muškovac
  • Date: 2011-07-03 12:28:58 UTC
  • Revision ID: james.westby@ubuntu.com-20110703122858-q1yyxncs89e4w0hs
Tags: upstream-4.6.90+repack
Import upstream version 4.6.90+repack

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/solver/parser.mli
 
1
type token =
 
2
  | INT of (int)
 
3
  | PLUS
 
4
  | MINUS
 
5
  | LPAREN
 
6
  | RPAREN
 
7
  | LBRACKET
 
8
  | RBRACKET
 
9
  | EOF
 
10
  | CAPITAL of (string)
 
11
  | MINOR of (string)
 
12
  | ARROW
 
13
 
 
14
val main :
 
15
  (Lexing.lexbuf  -> token) -> Lexing.lexbuf -> Chemset.listitems