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 |