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