---
name: "Lazy_backtrack"
section: "3o"
platform: "linux"
package: "ocaml"
version: "5.5.0-1"
release: "Arch Linux 2026-11-01"
platforms: ["linux"]
url: "https://new.carta.tech/Lazy_backtrack"
---

# Lazy\_backtrack(3o)

no description

## NAME

Lazy\_backtrack - no description

## Module

Module   Lazy\_backtrack

## 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**