sig
type token =
CALL_OF
| RETURN_OF
| CALLORRETURN_OF
| IDENTIFIER of string
| INT of string
| LCURLY
| RCURLY
| LPAREN
| RPAREN
| LSQUARE
| RSQUARE
| LBRACELBRACE
| RBRACERBRACE
| RARROW
| TRUE
| FALSE
| NOT
| DOT
| AMP
| COLON
| SEMI_COLON
| COMMA
| PIPE
| CARET
| QUESTION
| COLUMNCOLUMN
| EQ
| LT
| GT
| LE
| GE
| NEQ
| PLUS
| MINUS
| SLASH
| STAR
| PERCENT
| OR
| AND
| OTHERWISE
| EOF
val main :
(Stdlib.Lexing.lexbuf -> Yaparser.token) ->
Stdlib.Lexing.lexbuf -> Promelaast.parsed_automaton
end