CamlinternalMenhirLib.Convert(3)

Hey bestie 💖 welcome to the OCaml library manual page for CamlinternalMenhirLib.Convert(3). Buckle up, because this one is short but very real ✨

💅 NAME 💅

CamlinternalMenhirLib.Convert — no description 😭

That's literally it. The manpage says "no description", and I am not going to invent one, bestie. We respect the source 🫶

🦋 Module 🦋

Module CamlinternalMenhirLib.Convert — yes, that is the whole dramatic module name, no cap 👑

✨ Documentation ✨

Okay so the docs open with this:

Module Convert
 : sig end

Then we get the type aliases. First up, traditional:

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

Next, revised:

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

Then the conversion vals, exact signatures, no edits, no vibes-based rewriting 🔥

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

And finally:

module Simplified : sig end

So the whole Convert module is giving: traditional, revised, traditional2revised, revised2traditional, and a Simplified submodule that is sig end. That's the entire content, and every single piece of it is right here 💖

---

Source/version: OCamldoc ✨ Date: 2026-06-22 ✨ Page: CamlinternalMenhirLib.Convert(3) 🎀 Bye bestie, go have fun with those conversions 💅🦋