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