sig
  val lexer : string -> Genlex.token Stream.t
  val file_lexer : string -> Genlex.token Stream.t
  val parse_grammar : Grammar.grammar -> Genlex.token Stream.t -> unit
  val parse_rule : Grammar.grammar -> Genlex.token Stream.t -> Grammar.rule
end