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