module Trace_eldarica_parser:sig
..end
type
token =
| |
IDENT of |
| |
EOF |
| |
COMMA |
| |
LBRACE |
| |
RBRACE |
| |
COLON |
| |
TRACEDECL |
| |
SEMICOLON |
val gettrace : (Lexing.lexbuf -> token) ->
Lexing.lexbuf -> Trace_types.trace