type token =
  | Ttoken
  | Tstart
  | Ttype
  | Tleft
  | Tright
  | Tnonassoc
  | Tprec
  | Terror
  | Tident of (Yacc_syntax.ident)
  | Taction of (Yacc_syntax.location)
  | Ttypedecl of (Yacc_syntax.location)
  | Tor
  | Tsemicolon
  | Tcolon
  | Tmark
  | EOF

val yacc_definitions :
  (Lexing.lexbuf  -> token) -> Lexing.lexbuf -> Yacc_syntax.yacc_definitions