Lazy_backtrack(3)

💖 NAME 💖

okay so this is the Lazy_backtrack(3) page from the OCaml library, and the NAME section is serving pure minimalism: it says Lazy_backtrack and then literally no description. No extra lore, no cap. ✨

---

🧩 Module 🧩

The module is Lazy_backtrack, and its signature is exactly this:

Module Lazy_backtrack
 : sig end

slay. 🫶

---

📚 Documentation 📚

here's the full signature lineup, bestie — every type and val, zero crumbs left behind. 💅

• type ('a, 'b) t — the main two-parameter type, and the docs are giving mysterious icon energy. 🎀
• type log — a log type, also mysterious, also iconic. 🦋
• val force — the exact type is ('a -> 'b) -> ('a, 'b) t -> 'b. The docs do not expand further, so we're not gonna invent lore. 🙈
• val create — the exact type is 'a -> ('a, 'b) t, periodt. ✨
• val get_arg — the exact type is ('a, 'b) t -> 'a option, and yes that's an option in the signature. 🌸
• val get_contents — the exact type is ('a, 'b) t -> ('a, 'b) Either.t, capital Either.t and all. 🌈
• val create_forced — the exact type is 'b -> ('a, 'b) t. 🔥
• val create_failed — the exact type is exn -> ('a, 'b) t, so exn is right there in the signature. 💀
• val log — the exact type is unit -> log; yes, log is both a type and a val name here, we love a repeat. 👑
• val force_logged — this one's the chunky signature, so here it is exactly:

val force_logged : log -> ('a -> ('b, 'c) result) -> ('a, ('b, 'c)
       result) t -> ('b, 'c) result

• val backtrack — the exact type is log -> unit, and that's the whole signature. 💜

---

mwah 💋 that's the whole Lazy_backtrack(3) page. Source/version: OCamldoc, dated 2026-06-22 — folded into this cute lil sign-off with love. 🎀✨