Grammar.delete_rule''. But, like for
``Grammar.extend'', it is not documented. One must use the
instruction ``DELETE_RULE'', generating a call to this
function. This instruction is a syntax extension, loaded together with
the instruction ``EXTEND'' by the file
``pa_extend.cmo''.DELETE_RULE'' is:DELETE_RULE |
| entry : symbol ; ... symbol |
END |