sig
type ('a, 'b) t
type log
val force : ('a -> 'b) -> ('a, 'b) Misc.EnvLazy.t -> 'b
val create : 'a -> ('a, 'b) Misc.EnvLazy.t
val get_arg : ('a, 'b) Misc.EnvLazy.t -> 'a option
val create_forced : 'b -> ('a, 'b) Misc.EnvLazy.t
val create_failed : exn -> ('a, 'b) Misc.EnvLazy.t
val log : unit -> Misc.EnvLazy.log
val force_logged :
Misc.EnvLazy.log ->
('a -> ('b, 'c) Stdlib.result) ->
('a, ('b, 'c) Stdlib.result) Misc.EnvLazy.t -> ('b, 'c) Stdlib.result
val backtrack : Misc.EnvLazy.log -> unit
end
The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.