Var (mina_incremental.Mina_incremental.Make.Var)

type 'a t = ( 'a, state_witness ) Incremental.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 t

val value : 'a t -> 'a

val latest_value : 'a t -> 'a

val replace : 'a t -> f:( 'a -> 'a ) -> unit