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