sig
  val register_kwd : string -> Trace_eldarica_parser.token -> unit
  val _KWD_or_STATE : string -> Trace_eldarica_parser.token
end