# 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