Lazy\_backtrack(3) OCaml library Lazy\_backtrack(3)

# [NAME](#NAME)

Lazy\_backtrack - no description

# [Module](#Module)

Module Lazy\_backtrack

# [Documentation](#Documentation)

Module **Lazy\_backtrack**  
: **sig end**

*type* **('a, 'b)** *t*

*type log*

*val force* : **('a -> 'b) -> ('a, 'b) t -> 'b**

*val create* : **'a -> ('a, 'b) t**

*val get\_arg* : **('a, 'b) t -> 'a option**

*val get\_contents* : **('a, 'b) t -> ('a, 'b) Either.t**

*val create\_forced* : **'b -> ('a, 'b) t**

*val create\_failed* : **exn -> ('a, 'b) t**

*val log* : **unit -> log**

*val force\_logged* : **log ->** **('a -> ('b, 'c) result) ->** **('a, ('b, 'c) result) t -> ('b, 'c) result**

*val backtrack* : **log -> unit**

2026-09-04 OCamldoc

---

Document: Lazy_backtrack(3o) from ocaml 5.5.1-r0 (Chainguard OS)
Source: https://github.com/ocaml/ocaml