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