menhirGLR
MenhirGLR.GLRAPI
module type DATA = sig ... end
The signature DATA describes the compile-time information that is needed by the GLR parsing algorithm.
DATA