type token =
  | LBRACK
  | RBRACK
  | DEF
  | PIPE
  | DOT
  | EOF
  | ID of (string)

val start :
  (Lexing.lexbuf  -> token) -> Lexing.lexbuf -> Bnf_spec.Bnf.grammar