Module MenhirGLR.GLRSource

Sourceval reject : unit -> 'a

reject() can be invoked by a semantic action to forbid (cancel) the current reduction.

Sourcemodule Make (D : GLRAPI.DATA) : sig ... end