Option.Syntax(3)

✨ NAME ✨

okay so this is Option.Syntax(3), straight out of the OCaml library. The name is Option.Syntax, and the one-line vibe is Binding operators. periodt.

🧩 Module

Module Option.Syntax — that's the module this whole page is about, bestie. It's giving “small module, big syntax energy.”

📚 Documentation

Under Documentation you get Module Syntax with this sig:

Module Syntax
 : sig end

That's the whole signature. No cap.

The page says: Binding operators. See manual section 12.23 for details.

Since 5.5 — yes, this cutie has been around since then. 🦋

Here are the four binding operators, exactly as written:

• val ( let* ) : 'a option -> ('a -> 'b option) -> 'b option — this one is literally Option.bind. It's bind but make it syntax, slay.
• val ( and* ) : 'a option -> 'b option -> ('a * 'b) option — this one is Option.product. Pairing options up, iconic.
• val let+ : 'a option -> ('a -> 'b) -> 'b option — this one is Option.map. Mapping inside an option, main character energy.
• val and+ : 'a option -> 'b option -> ('a * 'b) option — this one is Option.product too. Same product moment, different operator. 💅

---

🎀 signed, sealed, delivered by OCamldoc, dated 2026-06-22, for page Option.Syntax(3). bye bestie 💖