Module MenhirLib.ConvertSource

Sourcetype ('token, 'semantic_value) traditional = (Lexing.lexbuf -> 'token) -> Lexing.lexbuf -> 'semantic_value
Sourcetype ('token, 'semantic_value) revised = (unit -> 'token) -> 'semantic_value
Sourceval traditional2revised : ('token -> 'raw_token) -> ('token -> Lexing.position) -> ('token -> Lexing.position) -> ('raw_token, 'semantic_value) traditional -> ('token, 'semantic_value) revised
Sourceval revised2traditional : ('raw_token -> Lexing.position -> Lexing.position -> 'token) -> ('token, 'semantic_value) revised -> ('raw_token, 'semantic_value) traditional
Sourcemodule Simplified : sig ... end