sig val gram_reinit : Grammar.g -> Grammar.token Plexing.lexer -> unit val clear_entry : 'a Grammar.Entry.e -> unit end