Module `Make.Var`

type 'a t = ('a, state_witness) Var.t

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

val create : ?⁠use_current_scope:bool -> 'a -> 'a t
val set : 'a t -> 'a -> unit
val watch : 'a t -> 'a incremental
val value : 'a t -> 'a
val latest_value : 'a t -> 'a
val replace : 'a t -> f:('a -> 'a) -> unit