Module Grammar.Unsafe


module Unsafe: sig .. end
Module for clearing grammars and entries. To be manipulated with care, because: 1) reinitializing a grammar destroys all tokens and there may have problems with the associated lexer if there are keywords; 2) clearing an entry does not destroy the tokens used only by itself.

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