LazyEval.Make
module M : sig ... end
type t
val make : M.t -> t
val is_val : t -> bool
val force : t -> M.result