Lazy (arrayjit.Utils.Lazy)

include module type of struct include Base.Lazy end

type !'a t = 'a lazy_t

val compare : 
  'a Base__Ppx_compare_lib.compare ->
  'a t Base__Ppx_compare_lib.compare

val compare__local : 
  'a Base__Ppx_compare_lib.compare__local ->
  'a t Base__Ppx_compare_lib.compare__local

val equal : 'a Base__Ppx_compare_lib.equal -> 'a t Base__Ppx_compare_lib.equal

val equal__local : 
  'a Base__Ppx_compare_lib.equal__local ->
  'a t Base__Ppx_compare_lib.equal__local

val globalize : ('a -> 'a) -> 'a t -> 'a t

val hash_fold_t : 
  'a Base__Ppx_hash_lib.hash_fold ->
  'a t Base__Ppx_hash_lib.hash_fold

val t_of_sexp : (Sexplib0__.Sexp.t -> 'a) -> Sexplib0__.Sexp.t -> 'a t

val t_sexp_grammar : 'a Sexplib0.Sexp_grammar.t -> 'a t Sexplib0.Sexp_grammar.t

val (>>=) : 'a t -> ('a -> 'b t) -> 'b t

val (>>|) : 'a t -> ('a -> 'b) -> 'b t

module Monad_infix : sig ... end

val bind : 'a t -> f:('a -> 'b t) -> 'b t

val return : 'a -> 'a t

val map : 'a t -> f:('a -> 'b) -> 'b t

val join : 'a t t -> 'a t

val ignore_m : 'a t -> unit t

val all : 'a t list -> 'a list t

val all_unit : unit t list -> unit t

module Let_syntax : sig ... end

exception Undefined

val force : 'a t -> 'a

val force_val : 'a t -> 'a

val from_fun : (unit -> 'a) -> 'a t

val from_val : 'a -> 'a t

val is_val : 'a t -> bool

val peek : 'a t -> 'a option

module T_unforcing : sig ... end

val sexp_of_t : ('a -> Sexplib0.Sexp.t) -> 'a lazy_t -> Sexplib0.Sexp.t

val sexp_of_lazy_t : ('a -> Sexplib0.Sexp.t) -> 'a lazy_t -> Sexplib0.Sexp.t