Incr.Vartype 'a t = ('a, state_witness) Incremental.Var.tval sexp_of_t : ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.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