sig val gram_reinit : Grammar.g -> Token.t Token.glexer -> unit val clear_entry : 'a Grammar.Entry.e -> unit end