type token =
  Bnf_parser.token =
    LBRACK
  | RBRACK
  | DEF
  | PIPE
  | DOT
  | EOF
  | ID of string
val start : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Bnf_spec.Bnf.grammar