Incr.Vartype 'a t = ('a, state_witness) Incremental.Var.tval sexp_of_t :
('a -> Ppx_sexp_conv_lib.Sexp.t) ->
'a t ->
Ppx_sexp_conv_lib.Sexp.tval create : ?use_current_scope:bool -> 'a -> 'a tval set : 'a t -> 'a -> unitval watch : 'a t -> 'a incrementalval value : 'a t -> 'aval latest_value : 'a t -> 'aval replace : 'a t -> f:('a -> 'a) -> unit