Lazy_backtrack(3o) OCaml library Lazy_backtrack(3o)
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 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) re-
sult) t -> ('b, 'c) result
val backtrack : log -> unit
OCamldoc 2023-02-12 Lazy_backtrack(3o)
Generated by dwww version 1.15 on Sun Jun 23 03:52:55 CEST 2024.