Module CamlinternalMenhirLib.Convert

module Convert: sig .. end

type ('token, 'semantic_value) traditional = (Lexing.lexbuf -> 'token) -> Lexing.lexbuf -> 'semantic_value 

type ('token, 'semantic_value) revised = (unit -> 'token) -> 'semantic_value 

val traditional2revised : ('token -> 'raw_token) ->
       ('token -> Lexing.position) ->
       ('token -> Lexing.position) ->
       ('raw_token, 'semantic_value) traditional ->
       ('token, 'semantic_value) revised

val revised2traditional : ('raw_token -> Lexing.position -> Lexing.position -> 'token) ->
       ('token, 'semantic_value) revised ->
       ('raw_token, 'semantic_value) traditional

module Simplified: sig .. end